Volume 5 Issue 4 | Notre Dame Journal of Formal Logic

VOL. 5 · NO. 4 | 1964

< Previous Issue | Next Issue >

VIEW ALL ABSTRACTS +

Articles

Contributions to syntax, semantics, and the philosophy of science.

Rolf Schock

Notre Dame J. Formal Logic 5 (4), 241-289, (1964) DOI: 10.1305/ndjfl/1093957975 Open Access

KEYWORDS: 02.52

No abstract available

Ockham, suppositio, and modern logic.

Desmond Paul Henry

Notre Dame J. Formal Logic 5 (4), 290-292, (1964) DOI: 10.1305/ndjfl/1093957976 Open Access

KEYWORDS: 02.10, 01.15

No abstract available

A liberalized system of quantificational deduction.

Thomas E. Patton

Notre Dame J. Formal Logic 5 (4), 293-294, (1964) DOI: 10.1305/ndjfl/1093957977 Open Access

KEYWORDS: 02.16

No abstract available

Possibility-elimination in natural deduction.

William A. Wisdom

Notre Dame J. Formal Logic 5 (4), 295-298, (1964) DOI: 10.1305/ndjfl/1093957978 Open Access

KEYWORDS: 02.27

No abstract available

${\rm K}1,\,{\rm K}2$ and related modal systems.

A. N. Prior

Notre Dame J. Formal Logic 5 (4), 299-304, (1964) DOI: 10.1305/ndjfl/1093957979 Open Access

KEYWORDS: 02.27

No abstract available

Modal system ${\rm S}4.4$.

Bolesław Sobociński

Notre Dame J. Formal Logic 5 (4), 305-312, (1964) DOI: 10.1305/ndjfl/1093957980 Open Access

KEYWORDS: 02.27

No abstract available

Family ${\rm K}$ of the non-Lewis modal systems.

Bolesław Sobociński

Notre Dame J. Formal Logic 5 (4), 313-318, (1964) DOI: 10.1305/ndjfl/1093957981 Open Access

KEYWORDS: 02.27

No abstract available

Decision procedures for ${\rm S}2^0$ and ${\rm T}^0$.

Ivo Thomas

Notre Dame J. Formal Logic 5 (4), 319-320, (1964) DOI: 10.1305/ndjfl/1093957982 Open Access

KEYWORDS: 02.27

No abstract available

KEYWORDS/PHRASES