Volume 7 Issue 2 | Notre Dame Journal of Formal Logic

VOL. 7 · NO. 2 | 1966

< Previous Issue | Next Issue >

VIEW ALL ABSTRACTS +

Articles

A reconstruction of formal logic.

George Goe

Notre Dame J. Formal Logic 7 (2), 129-157, (1966) DOI: 10.1305/ndjfl/1093958555 Open Access

KEYWORDS: 02.16

No abstract available

A reconstruction of formal logic.

George Goe

Notre Dame J. Formal Logic 7 (2), 158, (1966) DOI: 10.1305/ndjfl/1093958556 Open Access

KEYWORDS: 02.16

No abstract available

Two separation theorems for natural deduction.

Hugues Leblanc

Notre Dame J. Formal Logic 7 (2), 159-180, (1966) DOI: 10.1305/ndjfl/1093958557 Open Access

KEYWORDS: 02.18

No abstract available

Eine modelltheoretische Präzisierung der Wittgensteinschen Bildtheorie.

Wolfgang Stegmüller

Notre Dame J. Formal Logic 7 (2), 181-195, (1966) DOI: 10.1305/ndjfl/1093958558 Open Access

KEYWORDS: 02.50

No abstract available

The construction of a Steiner triple system on sets of the power of the continuum without the axiom of choice.

William J. Frascella

Notre Dame J. Formal Logic 7 (2), 196-202, (1966) DOI: 10.1305/ndjfl/1093958559 Open Access

KEYWORDS: 04.60, 05.00

No abstract available

A note on regressive isols.

Joseph Barback

Notre Dame J. Formal Logic 7 (2), 203-205, (1966) DOI: 10.1305/ndjfl/1093958560 Open Access

KEYWORDS: 02.72

No abstract available

A note on natural deduction.

Michael D. Resnik

Notre Dame J. Formal Logic 7 (2), 206-208, (1966) DOI: 10.1305/ndjfl/1093958561 Open Access

KEYWORDS: 02.16

No abstract available

KEYWORDS/PHRASES