Volume 4 Issue 4 | Notre Dame Journal of Formal Logic

VOL. 4 · NO. 4 | 1963

< Previous Issue | Next Issue >

VIEW ALL ABSTRACTS +

Articles

Walter Burleigh's hypothetical syllogistic.

Ivan Boh

Notre Dame J. Formal Logic 4 (4), 241-269, (1963) DOI: 10.1305/ndjfl/1093957651 Open Access

KEYWORDS: 02.12, 01.15

No abstract available

A note on constructible sets of integers.

Hilary Putnam

Notre Dame J. Formal Logic 4 (4), 270-273, (1963) DOI: 10.1305/ndjfl/1093957652 Open Access

KEYWORDS: 02.60

No abstract available

Variations on a theme of Bernays.

John Myhill

Notre Dame J. Formal Logic 4 (4), 274-282, (1963) DOI: 10.1305/ndjfl/1093957653 Open Access

KEYWORDS: 04.00

No abstract available

On Gödel's proof that $V=L$ implies the generalized continuum hypothesis.

Raouf Doss

Notre Dame J. Formal Logic 4 (4), 283-287, (1963) DOI: 10.1305/ndjfl/1093957654 Open Access

KEYWORDS: 02.65, 04.00

No abstract available

Existential import revisited.

Karel Lambert

Notre Dame J. Formal Logic 4 (4), 288-292, (1963) DOI: 10.1305/ndjfl/1093957655 Open Access

KEYWORDS: 02.16

No abstract available

Programming the functions of formal logic. II. Multi-valued logics.

S. Summersbee, A. Walters

Notre Dame J. Formal Logic 4 (4), 293-305, (1963) DOI: 10.1305/ndjfl/1093957656 Open Access

KEYWORDS: 02.25

No abstract available

Propositional logic in Plato's Protagoras.

Kenneth M. Sayre

Notre Dame J. Formal Logic 4 (4), 306-312, (1963) DOI: 10.1305/ndjfl/1093957657 Open Access

KEYWORDS: 02.12, 01.08

No abstract available

On not strengthening intuitionistic logic.

N. D. Belnap Jr., H. Leblanc, R. H. Thomason

Notre Dame J. Formal Logic 4 (4), 313-320, (1963) DOI: 10.1305/ndjfl/1093957658 Open Access

KEYWORDS: 02.23

No abstract available

KEYWORDS/PHRASES