Volume 10 Issue 2 | Notre Dame Journal of Formal Logic

VOL. 10 · NO. 2 | April 1969

< Previous Issue | Next Issue >

VIEW ALL ABSTRACTS +

Front Matter

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

Notre Dame J. Formal Logic 10 (2), (April 1969) Open Access

No abstract available

Articles

Existence and identity in quantified modal logics.

R. Routley

Notre Dame J. Formal Logic 10 (2), 113-149, (April 1969) DOI: 10.1305/ndjfl/1093893650 Open Access

KEYWORDS: 02.27

No abstract available

Doing logic by computer.

Richard L. Purtill

Notre Dame J. Formal Logic 10 (2), 150-162, (April 1969) DOI: 10.1305/ndjfl/1093893651 Open Access

KEYWORDS: 68.00

No abstract available

Two views of variables.

John T. Kearns

Notre Dame J. Formal Logic 10 (2), 163-180, (April 1969) DOI: 10.1305/ndjfl/1093893652 Open Access

KEYWORDS: 02.20

No abstract available

The principles of the theory of the unification of sciences.

D. L. Székely

Notre Dame J. Formal Logic 10 (2), 181-213, (April 1969) DOI: 10.1305/ndjfl/1093893653 Open Access

No abstract available

Some examples of different methods of formal proofs with generalizations of the satisfiability definition.

Juliusz Reichbach

Notre Dame J. Formal Logic 10 (2), 214-224, (April 1969) DOI: 10.1305/ndjfl/1093893654 Open Access

KEYWORDS: 02.18

No abstract available

Back Matter

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

Notre Dame J. Formal Logic 10 (2), (April 1969) Open Access

No abstract available

KEYWORDS/PHRASES