Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 15 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 15 · NO. 2 | April 1974
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 15, issue 2 (1974)
Notre Dame J. Formal Logic 15 (2), (April 1974) Open Access
No abstract available
DOWNLOAD PAPER
Articles
A categorical equivalence of proofs.
Manfred E. Szabo
Notre Dame J. Formal Logic 15 (2), 177-191, (April 1974) DOI: 10.1305/ndjfl/1093891297 Open Access
KEYWORDS: 02D99, 18A15
No abstract available
DOWNLOAD PAPER
Various systems of set theory based on combinatory logic.
M. W. Bunder
Notre Dame J. Formal Logic 15 (2), 192-206, (April 1974) DOI: 10.1305/ndjfl/1093891298 Open Access
KEYWORDS: 02C20, 02K15
No abstract available
DOWNLOAD PAPER
Professor Quine and real classes.
James K. Feibleman
Notre Dame J. Formal Logic 15 (2), 207-224, (April 1974) DOI: 10.1305/ndjfl/1093891299 Open Access
No abstract available
DOWNLOAD PAPER
Non-assertoric inference.
Robert P. McArthur, David Welker
Notre Dame J. Formal Logic 15 (2), 225-244, (April 1974) DOI: 10.1305/ndjfl/1093891300 Open Access
No abstract available
DOWNLOAD PAPER
On referentiality and its conditions.
Chung-ying Cheng
Notre Dame J. Formal Logic 15 (2), 245-264, (April 1974) DOI: 10.1305/ndjfl/1093891301 Open Access
No abstract available
DOWNLOAD PAPER
Admissible rules, derivable rules, and extendible logistic systems.
Howard C. Wasserman
Notre Dame J. Formal Logic 15 (2), 265-278, (April 1974) DOI: 10.1305/ndjfl/1093891302 Open Access
KEYWORDS: 02G20
No abstract available
DOWNLOAD PAPER
Über eine Erweiterung der algebraischen Operationen.
Günther Frei-Imfeld
Notre Dame J. Formal Logic 15 (2), 279-288, (April 1974) DOI: 10.1305/ndjfl/1093891303 Open Access
KEYWORDS: 02F43
No abstract available
DOWNLOAD PAPER
A study of ${\scr Z}$ modal systems.
R. I. Goldblatt
Notre Dame J. Formal Logic 15 (2), 289-294, (April 1974) DOI: 10.1305/ndjfl/1093891304 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
${\cal K}$ and ${\cal Z}$.
George F. Schumm
Notre Dame J. Formal Logic 15 (2), 295-297, (April 1974) DOI: 10.1305/ndjfl/1093891305 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Ockham on self-reference.
Paul Vincent Spade
Notre Dame J. Formal Logic 15 (2), 298-300, (April 1974) DOI: 10.1305/ndjfl/1093891306 Open Access
No abstract available
DOWNLOAD PAPER
Sind die deontischen Funktoren distributiv?
Bohuslav T. Peklo
Notre Dame J. Formal Logic 15 (2), 301-311, (April 1974) DOI: 10.1305/ndjfl/1093891307 Open Access
KEYWORDS: 02C10, 02A05
No abstract available
DOWNLOAD PAPER
Matrix calculi $SS1M$ and $SS1I$ compared with axiomatic systems.
J. Czermak
Notre Dame J. Formal Logic 15 (2), 312-316, (April 1974) DOI: 10.1305/ndjfl/1093891308 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Boolean subtractive algebras.
Thomas M. Hearne, Carl G. Wagner
Notre Dame J. Formal Logic 15 (2), 317-324, (April 1974) DOI: 10.1305/ndjfl/1093891309 Open Access
KEYWORDS: 06A40
No abstract available
DOWNLOAD PAPER
A strong completeness theorem for $3$-valued logic.
H. Goldberg, H. Leblanc, G. Weaver
Notre Dame J. Formal Logic 15 (2), 325-330, (April 1974) DOI: 10.1305/ndjfl/1093891310 Open Access
KEYWORDS: 02C05, 02G20
No abstract available
DOWNLOAD PAPER
The inadequacy of Hughes and Cresswell's semantics for the ${\rm CI}$ systems.
Zane Parks, Terry L. Smith
Notre Dame J. Formal Logic 15 (2), 331-332, (April 1974) DOI: 10.1305/ndjfl/1093891311 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Semantics for contingent identity systems.
Zane Parks
Notre Dame J. Formal Logic 15 (2), 333-334, (April 1974) DOI: 10.1305/ndjfl/1093891312 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Many-one degrees associated with partial propositional calculi.
W. E. Singletary
Notre Dame J. Formal Logic 15 (2), 335-343, (April 1974) DOI: 10.1305/ndjfl/1093891313 Open Access
KEYWORDS: 02F30, 02B05, 02F05, 02F25
No abstract available
DOWNLOAD PAPER
A result of extending Bochvar's $3$-valued logic.
Kenneth W. Collier
Notre Dame J. Formal Logic 15 (2), 344-346, (April 1974) DOI: 10.1305/ndjfl/1093891314 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
On a passage of Aristotle.
Ivo Thomas
Notre Dame J. Formal Logic 15 (2), 347-348, (April 1974) DOI: 10.1305/ndjfl/1093891315 Open Access
KEYWORDS: 02-03
No abstract available
DOWNLOAD PAPER
A note on natural deduction.
Alex Blum
Notre Dame J. Formal Logic 15 (2), 349-350, (April 1974) DOI: 10.1305/ndjfl/1093891316 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Deductive inferences from particular to general.
Charles W. Werner
Notre Dame J. Formal Logic 15 (2), 351-352, (April 1974) DOI: 10.1305/ndjfl/1093891317 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 15, issue 2 (1974)
Notre Dame J. Formal Logic 15 (2), (April 1974) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top