Volume 1 Issue 1-2 | Notre Dame Journal of Formal Logic

VOL. 1 · NO. 1-2 | 1960

Next Issue >

VIEW ALL ABSTRACTS +

Front Matter

Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 1, issue 1-2 (1960)

Notre Dame J. Formal Logic 1 (1-2), (1960) Open Access

No abstract available

Editorial note.

Notre Dame J. Formal Logic 1 (1-2), 1-2, (1960) Open Access

No abstract available

Articles

An extension algebra and the modal system ${\rm T}$.

E. J. Lemmon

Notre Dame J. Formal Logic 1 (1-2), 3-12, (1960) DOI: 10.1305/ndjfl/1093956424 Open Access

KEYWORDS: 02.27

No abstract available

Investigations on a comprehension axiom without negation in the defining propositional functions.

Thoralf Skolem

Notre Dame J. Formal Logic 1 (1-2), 13-22, (1960) DOI: 10.1305/ndjfl/1093956425 Open Access

KEYWORDS: 02.65

No abstract available

Studies in the axiomatic foundations of Boolean algebra. I.

Czesław Lejewski

Notre Dame J. Formal Logic 1 (1-2), 23-47, (1960) DOI: 10.1305/ndjfl/1093956426 Open Access

No abstract available

Independence of Faris-rejection-axioms.

Ivo Thomas

Notre Dame J. Formal Logic 1 (1-2), 48-51, (1960) DOI: 10.1305/ndjfl/1093956427 Open Access

No abstract available

On the single axioms of the protothetic. I.

Bolesław Sobociński

Notre Dame J. Formal Logic 1 (1-2), 52-73, (1960) DOI: 10.1305/ndjfl/1093956428 Open Access

No abstract available

Independence of Tarski's law in Henkin's propositional fragments.

Ivo Thomas

Notre Dame J. Formal Logic 1 (1-2), 74-78, (1960) DOI: 10.1305/ndjfl/1093956429 Open Access

KEYWORDS: 02.12

No abstract available

KEYWORDS/PHRASES