Volume 3 Issue 1 | Notre Dame Journal of Formal Logic

VOL. 3 · NO. 1 | 1962

< Previous Issue | Next Issue >

VIEW ALL ABSTRACTS +

Front Matter

Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 3, issue 1 (1962)

Notre Dame J. Formal Logic 3 (1), (1962) Open Access

No abstract available

Articles

Guido Küng

Notre Dame J. Formal Logic 3 (1), 1-40, (1962) DOI: 10.1305/ndjfl/1093957057 Open Access

KEYWORDS: 02.00, 00.20

No abstract available

The determination of all Sheffer functions in $3$-valued logic, using a logical computer.

Eric Foxley

Notre Dame J. Formal Logic 3 (1), 41-50, (1962) DOI: 10.1305/ndjfl/1093957058 Open Access

KEYWORDS: 02.25

No abstract available

A contribution to the axiomatization of Lewis' system ${\rm S}5$.

Bolesław Sobociński

Notre Dame J. Formal Logic 3 (1), 51-60, (1962) DOI: 10.1305/ndjfl/1093957059 Open Access

KEYWORDS: 02.27

No abstract available

Notes on foundations. II. On Galois connections.

G. Y. Rainich

Notre Dame J. Formal Logic 3 (1), 61-63, (1962) DOI: 10.1305/ndjfl/1093957060 Open Access

KEYWORDS: 06.20

No abstract available

The rule of excision in positive implication.

Ivo Thomas

Notre Dame J. Formal Logic 3 (1), 64, (1962) DOI: 10.1305/ndjfl/1093957061 Open Access

KEYWORDS: 02.20

No abstract available

Back Matter

Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 3, issue 1 (1962)

Notre Dame J. Formal Logic 3 (1), (1962) Open Access

No abstract available

KEYWORDS/PHRASES