Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 13 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 13 · NO. 4 | October 1972
 
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) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Is epistemic logic possible?
Max O. Hocutt
Notre Dame J. Formal Logic 13 (4), 433-453, (October 1972) DOI: 10.1305/ndjfl/1093890705 Open Access
No abstract available
DOWNLOAD PAPER
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 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
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 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
On relevantly derivable disjunctions.
Robert K. Meyer
Notre Dame J. Formal Logic 13 (4), 476-480, (October 1972) DOI: 10.1305/ndjfl/1093890708 Open Access
KEYWORDS: 02C10, 02B05
No abstract available
DOWNLOAD PAPER
Indexings of sets.
John H. Harris
Notre Dame J. Formal Logic 13 (4), 481-484, (October 1972) DOI: 10.1305/ndjfl/1093890709 Open Access
KEYWORDS: 02K15
No abstract available
DOWNLOAD PAPER
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 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
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 Open Access
No abstract available
DOWNLOAD PAPER
Extensions of $T^0$.
Stanley E. Hayes
Notre Dame J. Formal Logic 13 (4), 501-505, (October 1972) DOI: 10.1305/ndjfl/1093890712 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A note on propositional calculus.
Shalom Rosenberg
Notre Dame J. Formal Logic 13 (4), 506-510, (October 1972) DOI: 10.1305/ndjfl/1093890713 Open Access
KEYWORDS: 02B05, 02J99
No abstract available
DOWNLOAD PAPER
The entailment-presupposition relationship.
Mitchell Ginsberg
Notre Dame J. Formal Logic 13 (4), 511-515, (October 1972) DOI: 10.1305/ndjfl/1093890714 Open Access
No abstract available
DOWNLOAD PAPER
In so many possible worlds.
Kit Fine
Notre Dame J. Formal Logic 13 (4), 516-520, (October 1972) DOI: 10.1305/ndjfl/1093890715 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Recognizable algebras of formulas.
John Grant
Notre Dame J. Formal Logic 13 (4), 521-526, (October 1972) DOI: 10.1305/ndjfl/1093890716 Open Access
KEYWORDS: 02J99, 02B25
No abstract available
DOWNLOAD PAPER
Semantics for $S4.2$.
Allen Hazen
Notre Dame J. Formal Logic 13 (4), 527-528, (October 1972) DOI: 10.1305/ndjfl/1093890717 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
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 Open Access
KEYWORDS: 02J15
No abstract available
DOWNLOAD PAPER
Semi-intuitionistic set theory.
Lawrence J. Pozsgay
Notre Dame J. Formal Logic 13 (4), 546-550, (October 1972) DOI: 10.1305/ndjfl/1093890719 Open Access
KEYWORDS: 02K15, 02C15
No abstract available
DOWNLOAD PAPER
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 Open Access
KEYWORDS: 02F40
No abstract available
DOWNLOAD PAPER
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 Open Access
KEYWORDS: 02-03, 01A40
No abstract available
DOWNLOAD PAPER
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 Open Access
KEYWORDS: 02G20
No abstract available
DOWNLOAD PAPER
A new proof of completeness.
R. L. Goodstein
Notre Dame J. Formal Logic 13 (4), 563-564, (October 1972) DOI: 10.1305/ndjfl/1093890723 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
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 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
For so many individuals.
Kit Fine
Notre Dame J. Formal Logic 13 (4), 569-572, (October 1972) DOI: 10.1305/ndjfl/1093890725 Open Access
KEYWORDS: 02B20
No abstract available
DOWNLOAD PAPER
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 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Errata.
Notre Dame J. Formal Logic 13 (4), 576, (October 1972) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 13, issue 4 (1972)
Notre Dame J. Formal Logic 13 (4), (October 1972) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top