Volume 13 Issue 4 | Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic

VOL. 13 · NO. 4 | October 1972

< Previous Issue | Next Issue >

VIEW ALL ABSTRACTS +

Front Matter

Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 13, issue 4 (1972)

Notre Dame J. Formal Logic 13 (4), (October 1972)

No abstract available

Articles

Is epistemic logic possible?

Max O. Hocutt

Notre Dame J. Formal Logic 13 (4), 433-453, (October 1972) DOI: 10.1305/ndjfl/1093890705

No abstract available

Semantics for ${\rm S}4.3.2$.

J. Jay Zeman

Notre Dame J. Formal Logic 13 (4), 454-460, (October 1972) DOI: 10.1305/ndjfl/1093890706

KEYWORDS: 02C10

No abstract available

Natural deduction rules for modal logics.

Thomas W. Satre

Notre Dame J. Formal Logic 13 (4), 461-475, (October 1972) DOI: 10.1305/ndjfl/1093890707

KEYWORDS: 02C10

No abstract available

On relevantly derivable disjunctions.

Robert K. Meyer

Notre Dame J. Formal Logic 13 (4), 476-480, (October 1972) DOI: 10.1305/ndjfl/1093890708

KEYWORDS: 02C10, 02B05

No abstract available

Indexings of sets.

John H. Harris

Notre Dame J. Formal Logic 13 (4), 481-484, (October 1972) DOI: 10.1305/ndjfl/1093890709

KEYWORDS: 02K15

No abstract available

The completeness of $S1$ and some related systems.

Max J. Cresswell

Notre Dame J. Formal Logic 13 (4), 485-496, (October 1972) DOI: 10.1305/ndjfl/1093890710

KEYWORDS: 02C10

No abstract available

Squares of opposition: Comparisons between syllogistic and propositional logic.

Colwyn Williamson

Notre Dame J. Formal Logic 13 (4), 497-500, (October 1972) DOI: 10.1305/ndjfl/1093890711

No abstract available

Extensions of $T^0$.

Stanley E. Hayes

Notre Dame J. Formal Logic 13 (4), 501-505, (October 1972) DOI: 10.1305/ndjfl/1093890712

KEYWORDS: 02C10

No abstract available

A note on propositional calculus.

Shalom Rosenberg

Notre Dame J. Formal Logic 13 (4), 506-510, (October 1972) DOI: 10.1305/ndjfl/1093890713

KEYWORDS: 02B05, 02J99

No abstract available

The entailment-presupposition relationship.

Mitchell Ginsberg

Notre Dame J. Formal Logic 13 (4), 511-515, (October 1972) DOI: 10.1305/ndjfl/1093890714

No abstract available

In so many possible worlds.

Kit Fine

Notre Dame J. Formal Logic 13 (4), 516-520, (October 1972) DOI: 10.1305/ndjfl/1093890715

KEYWORDS: 02C10

No abstract available

Recognizable algebras of formulas.

John Grant

Notre Dame J. Formal Logic 13 (4), 521-526, (October 1972) DOI: 10.1305/ndjfl/1093890716

KEYWORDS: 02J99, 02B25

No abstract available

Semantics for $S4.2$.

Allen Hazen

Notre Dame J. Formal Logic 13 (4), 527-528, (October 1972) DOI: 10.1305/ndjfl/1093890717

KEYWORDS: 02C10

No abstract available

Solution to the problem concerning the Boolean bases for cylindric algebras.

Bolesław Sobociński

Notre Dame J. Formal Logic 13 (4), 529-545, (October 1972) DOI: 10.1305/ndjfl/1093890718

KEYWORDS: 02J15

No abstract available

Semi-intuitionistic set theory.

Lawrence J. Pozsgay

Notre Dame J. Formal Logic 13 (4), 546-550, (October 1972) DOI: 10.1305/ndjfl/1093890719

KEYWORDS: 02K15, 02C15

No abstract available

Analogous characterizations of finite and isolated sets.

J. Barback, W. D. Jackson, M. Parnes

Notre Dame J. Formal Logic 13 (4), 551-555, (October 1972) DOI: 10.1305/ndjfl/1093890720

KEYWORDS: 02F40

No abstract available

Strict and material implication in the early sixteenth century.

E. J. Ashworth

Notre Dame J. Formal Logic 13 (4), 556-560, (October 1972) DOI: 10.1305/ndjfl/1093890721

KEYWORDS: 02-03, 01A40

No abstract available

Bermerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie.

Klemens Döpp

Notre Dame J. Formal Logic 13 (4), 561-562, (October 1972) DOI: 10.1305/ndjfl/1093890722

KEYWORDS: 02G20

No abstract available

A new proof of completeness.

R. L. Goodstein

Notre Dame J. Formal Logic 13 (4), 563-564, (October 1972) DOI: 10.1305/ndjfl/1093890723

KEYWORDS: 02B05

No abstract available

Natural deduction rules for $S1^0-S4^0$.

Thomas W. Satre

Notre Dame J. Formal Logic 13 (4), 565-568, (October 1972) DOI: 10.1305/ndjfl/1093890724

KEYWORDS: 02C10

No abstract available

For so many individuals.

Kit Fine

Notre Dame J. Formal Logic 13 (4), 569-572, (October 1972) DOI: 10.1305/ndjfl/1093890725

KEYWORDS: 02B20

No abstract available

Note on Rescher's formalization of Aristotelian indeterminism.

Tobias Chapman

Notre Dame J. Formal Logic 13 (4), 573-575, (October 1972) DOI: 10.1305/ndjfl/1093890726

No abstract available

Back Matter

Errata.

Notre Dame J. Formal Logic 13 (4), 576, (October 1972)

No abstract available

Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 13, issue 4 (1972)

Notre Dame J. Formal Logic 13 (4), (October 1972)

No abstract available

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS