Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 12 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 12 · NO. 3 | July 1971
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 12, issue 3 (1971)
Notre Dame J. Formal Logic 12 (3), (July 1971) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Weak forms of the axiom of constructibility.
Richard L. Poss
Notre Dame J. Formal Logic 12 (3), 257-299, (July 1971) DOI: 10.1305/ndjfl/1093894291 Open Access
KEYWORDS: 02K15
No abstract available
DOWNLOAD PAPER
Measurable cardinals and constructibility without regularity.
Richard L. Poss
Notre Dame J. Formal Logic 12 (3), 300-304, (July 1971) DOI: 10.1305/ndjfl/1093894292 Open Access
KEYWORDS: 02K35
No abstract available
DOWNLOAD PAPER
Combinatorial operators and their quasi-inverses.
Vladeta Vučković
Notre Dame J. Formal Logic 12 (3), 305-308, (July 1971) DOI: 10.1305/ndjfl/1093894293 Open Access
KEYWORDS: 02C20
No abstract available
DOWNLOAD PAPER
Matrix satisfiability and axiomatization.
Robert Ackermann
Notre Dame J. Formal Logic 12 (3), 309-321, (July 1971) DOI: 10.1305/ndjfl/1093894294 Open Access
KEYWORDS: 02H15
No abstract available
DOWNLOAD PAPER
The strong decidability of cut-logics. I. Partial propositional calculi.
E. William Chapin Jr.
Notre Dame J. Formal Logic 12 (3), 322-328, (July 1971) DOI: 10.1305/ndjfl/1093894295 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Two notes on vector spaces with recursive operations.
J. C. E. Dekker
Notre Dame J. Formal Logic 12 (3), 329-334, (July 1971) DOI: 10.1305/ndjfl/1093894296 Open Access
KEYWORDS: 02F50
No abstract available
DOWNLOAD PAPER
Solutions to four modal problems of Sobociński.
G. F. Schumm
Notre Dame J. Formal Logic 12 (3), 335-340, (July 1971) DOI: 10.1305/ndjfl/1093894297 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A study of some systems in the neighborhood of ${\rm S}4.4$.
J. Jay Zeman
Notre Dame J. Formal Logic 12 (3), 341-357, (July 1971) DOI: 10.1305/ndjfl/1093894298 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A class of models for intermediate logics.
B. van Rootselaar
Notre Dame J. Formal Logic 12 (3), 358-362, (July 1971) DOI: 10.1305/ndjfl/1093894299 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
Concerning some extensions of ${\rm S}4$.
Bolesław Sobociński
Notre Dame J. Formal Logic 12 (3), 363-370, (July 1971) DOI: 10.1305/ndjfl/1093894300 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A new class of modal systems.
Bolesław Sobociński
Notre Dame J. Formal Logic 12 (3), 371-377, (July 1971) DOI: 10.1305/ndjfl/1093894301 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Examination of the axiomatic foundations of a theory of change. IV.
Laurent Larouche
Notre Dame J. Formal Logic 12 (3), 378-380, (July 1971) DOI: 10.1305/ndjfl/1093894302 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
A proper subsystem of ${\rm S}4.{\rm O}4.$.
Bolesław Sobociński
Notre Dame J. Formal Logic 12 (3), 381-384, (July 1971) DOI: 10.1305/ndjfl/1093894303 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 12, issue 3 (1971)
Notre Dame J. Formal Logic 12 (3), (July 1971) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top