Volume 1 Issue 3 | Notre Dame Journal of Formal Logic

VOL. 1 · NO. 3 | 1960

< Previous Issue | Next Issue >

VIEW ALL ABSTRACTS +

Articles

A paradox regained.

D. Kaplan, R. Montague

Notre Dame J. Formal Logic 1 (3), 79-90, (1960) DOI: 10.1305/ndjfl/1093956549 Open Access

No abstract available

Studies in the axiomatic foundations of Boolean algebra. II.

Czesław Lejewski

Notre Dame J. Formal Logic 1 (3), 91-106, (1960) DOI: 10.1305/ndjfl/1093956550 Open Access

KEYWORDS: 02.42

No abstract available

Functional completeness of Henkin's propositional fragments.

Ivo Thomas

Notre Dame J. Formal Logic 1 (3), 107-110, (1960) DOI: 10.1305/ndjfl/1093956551 Open Access

KEYWORDS: 02.12

No abstract available

A double-iteration property of Boolean functions.

Carl Lyngholm, Wolfgang Yourgrau

Notre Dame J. Formal Logic 1 (3), 111-114, (1960) DOI: 10.1305/ndjfl/1093956552 Open Access

No abstract available

A simple formula equivalent to the axiom of choice.

Bolesław Sobociński

Notre Dame J. Formal Logic 1 (3), 115-117, (1960) DOI: 10.1305/ndjfl/1093956553 Open Access

KEYWORDS: 04.30

No abstract available

The number of moduli in $n$-ary relations.

Robert E. Clay

Notre Dame J. Formal Logic 1 (3), 118-121, (1960) DOI: 10.1305/ndjfl/1093956554 Open Access

KEYWORDS: 02.16

No abstract available

A note concerning the axiom of choice.

Bolesław Sobociński

Notre Dame J. Formal Logic 1 (3), 122, (1960) DOI: 10.1305/ndjfl/1093956555 Open Access

KEYWORDS: 04.30

No abstract available

A formal system.

G. Y. Rainick

Notre Dame J. Formal Logic 1 (3), 123-126, (1960) DOI: 10.1305/ndjfl/1093956556 Open Access

No abstract available

KEYWORDS/PHRASES