Volume 10 Issue 1 | Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic

VOL. 10 · NO. 1 | January 1969

< Previous Issue | Next Issue >

VIEW ALL ABSTRACTS +

Front Matter

Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 10, issue 1 (1969)

Notre Dame J. Formal Logic 10 (1), (January 1969)

No abstract available

Articles

Remarks on classification of theories by their complete extensions.

Karel L. de Bouvère

Notre Dame J. Formal Logic 10 (1), 1-17, (January 1969) DOI: 10.1305/ndjfl/1093893583

KEYWORDS: 02.52

No abstract available

A substitution free axiom set for second order logic.

Nino B. Cocchiarella

Notre Dame J. Formal Logic 10 (1), 18-30, (January 1969) DOI: 10.1305/ndjfl/1093893584

KEYWORDS: 02.32

No abstract available

The pragmatics of monadic quantification.

Albert Sweet

Notre Dame J. Formal Logic 10 (1), 31-46, (January 1969) DOI: 10.1305/ndjfl/1093893585

KEYWORDS: 02.20

No abstract available

The numerical epsilon.

John Thomas Canty

Notre Dame J. Formal Logic 10 (1), 47-63, (January 1969) DOI: 10.1305/ndjfl/1093893586

KEYWORDS: 02.20

No abstract available

Peirce's development of quantifiers and of predicate logic.

Richard Beatty

Notre Dame J. Formal Logic 10 (1), 64-76, (January 1969) DOI: 10.1305/ndjfl/1093893587

KEYWORDS: 01.40, 02.00

No abstract available

A formalisation of the arithmetic of the ordinals less than $W^\omega$.

H. P. Williams

Notre Dame J. Formal Logic 10 (1), 77-89, (January 1969) DOI: 10.1305/ndjfl/1093893588

KEYWORDS: 04A10

No abstract available

The application of ternary semi-groups to the study of $n$-valued Sheffer functions.

James Rosenberg

Notre Dame J. Formal Logic 10 (1), 90-94, (January 1969) DOI: 10.1305/ndjfl/1093893589

KEYWORDS: 02.25

No abstract available

Concerning some proposals for quantum logic.

C. W. Leininger

Notre Dame J. Formal Logic 10 (1), 95-96, (January 1969) DOI: 10.1305/ndjfl/1093893590

KEYWORDS: 06.60, 81.00

No abstract available

Theory of procedures. I. Simple conditionals.

M. K. Rennie

Notre Dame J. Formal Logic 10 (1), 97-112, (January 1969) DOI: 10.1305/ndjfl/1093893591

KEYWORDS: 02.80

No abstract available

Back Matter

Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 10, issue 1 (1969)

Notre Dame J. Formal Logic 10 (1), (January 1969)

No abstract available

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS