Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 14 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 14 · NO. 3 | July 1973
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 14, issue 3 (1973)
Notre Dame J. Formal Logic 14 (3), (July 1973) Open Access
No abstract available
DOWNLOAD PAPER
Articles
The theory of consequence in the late fifteenth and early sixteenth centuries.
E. J. Ashworth
Notre Dame J. Formal Logic 14 (3), 289-315, (July 1973) DOI: 10.1305/ndjfl/1093890993 Open Access
KEYWORDS: 01A40
No abstract available
DOWNLOAD PAPER
Secondary extensions, meanings and non-null terms.
James F. Harris Jr.
Notre Dame J. Formal Logic 14 (3), 316-322, (July 1973) DOI: 10.1305/ndjfl/1093890994 Open Access
No abstract available
DOWNLOAD PAPER
The completeness of combinatory logic with discriminators.
John T. Kearns
Notre Dame J. Formal Logic 14 (3), 323-330, (July 1973) DOI: 10.1305/ndjfl/1093890995 Open Access
KEYWORDS: 02C20
No abstract available
DOWNLOAD PAPER
Degrees of isolic theories.
Erik Ellentuck
Notre Dame J. Formal Logic 14 (3), 331-340, (July 1973) DOI: 10.1305/ndjfl/1093890996 Open Access
KEYWORDS: 02F40
No abstract available
DOWNLOAD PAPER
A deduction theorem for restricted generality.
M. W. Bunder
Notre Dame J. Formal Logic 14 (3), 341-346, (July 1973) DOI: 10.1305/ndjfl/1093890997 Open Access
KEYWORDS: 02C20
No abstract available
DOWNLOAD PAPER
Sentential calculus for logical falsehoods.
Charles G. Morgan
Notre Dame J. Formal Logic 14 (3), 347-353, (July 1973) DOI: 10.1305/ndjfl/1093890998 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Combinatorial systems with axiom.
C. E. Hughes, W. E. Singletary
Notre Dame J. Formal Logic 14 (3), 354-360, (July 1973) DOI: 10.1305/ndjfl/1093890999 Open Access
KEYWORDS: 02F47
No abstract available
DOWNLOAD PAPER
A simple algebra of first order logic.
Charles C. Pinter
Notre Dame J. Formal Logic 14 (3), 361-366, (July 1973) DOI: 10.1305/ndjfl/1093891000 Open Access
KEYWORDS: 02J15
No abstract available
DOWNLOAD PAPER
What Russell learned from Peano.
H. C. Kennedy
Notre Dame J. Formal Logic 14 (3), 367-372, (July 1973) DOI: 10.1305/ndjfl/1093891001 Open Access
KEYWORDS: 01A60, 02-03
No abstract available
DOWNLOAD PAPER
On generating the finitely satisfiable formulas.
Arthur M. Bullock, Hubert H. Schneider
Notre Dame J. Formal Logic 14 (3), 373-376, (July 1973) DOI: 10.1305/ndjfl/1093891002 Open Access
KEYWORDS: 02G10
No abstract available
DOWNLOAD PAPER
Incompleteness theorem via weak definability of truth: a short proof.
Giorgio Germano
Notre Dame J. Formal Logic 14 (3), 377-380, (July 1973) DOI: 10.1305/ndjfl/1093891003 Open Access
KEYWORDS: 02G20
No abstract available
DOWNLOAD PAPER
The form of Reductio ad Absurdum.
J. M. Lee
Notre Dame J. Formal Logic 14 (3), 381-386, (July 1973) DOI: 10.1305/ndjfl/1093891004 Open Access
No abstract available
DOWNLOAD PAPER
Modality and preference relation.
Setsuo Saito
Notre Dame J. Formal Logic 14 (3), 387-391, (July 1973) DOI: 10.1305/ndjfl/1093891005 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Concerning the proper axiom for $S4.04$ and some related systems.
R. I. Goldblatt
Notre Dame J. Formal Logic 14 (3), 392-396, (July 1973) DOI: 10.1305/ndjfl/1093891006 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A formal characterization of ordinal numbers.
Nicholas J. De Lillo
Notre Dame J. Formal Logic 14 (3), 397-400, (July 1973) DOI: 10.1305/ndjfl/1093891007 Open Access
KEYWORDS: 02G15, 04A10
No abstract available
DOWNLOAD PAPER
Necessity and some non-modal propositional calculi.
Biswambhar Pahi
Notre Dame J. Formal Logic 14 (3), 401-404, (July 1973) DOI: 10.1305/ndjfl/1093891008 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
On compactness in many-valued logic. I.
Peter W. Woodruff
Notre Dame J. Formal Logic 14 (3), 405-407, (July 1973) DOI: 10.1305/ndjfl/1093891009 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.
Stephen L. Bloom
Notre Dame J. Formal Logic 14 (3), 408-410, (July 1973) DOI: 10.1305/ndjfl/1093891010 Open Access
KEYWORDS: 02H05
No abstract available
DOWNLOAD PAPER
A stronger definition of a recursively infinite set.
Charles H. Applebaum
Notre Dame J. Formal Logic 14 (3), 411-412, (July 1973) DOI: 10.1305/ndjfl/1093891011 Open Access
KEYWORDS: 02F99
No abstract available
DOWNLOAD PAPER
A new axiomatization of modal system ${\rm K}1.2$.
Bolesław Sobociński
Notre Dame J. Formal Logic 14 (3), 413-414, (July 1973) DOI: 10.1305/ndjfl/1093891012 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Modal system ${\rm S}3$ and the proper axioms of ${\rm S}4.02$ and ${\rm S}4.04$.
Bolesław Sobociński
Notre Dame J. Formal Logic 14 (3), 415-418, (July 1973) DOI: 10.1305/ndjfl/1093891013 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Note about the Boolean parts of the extended Boolean algebras.
Bolesław Sobociński
Notre Dame J. Formal Logic 14 (3), 419-422, (July 1973) DOI: 10.1305/ndjfl/1093891014 Open Access
KEYWORDS: 02J05
No abstract available
DOWNLOAD PAPER
Further extensions of $S3^\ast$.
Ivo Thomas
Notre Dame J. Formal Logic 14 (3), 423-424, (July 1973) DOI: 10.1305/ndjfl/1093891015 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Two sets of perfect syllogisms.
Anne Lehman
Notre Dame J. Formal Logic 14 (3), 425-429, (July 1973) DOI: 10.1305/ndjfl/1093891016 Open Access
No abstract available
DOWNLOAD PAPER
An elementary completeness proof for a system of natural deduction.
David W. Bennett
Notre Dame J. Formal Logic 14 (3), 430-432, (July 1973) DOI: 10.1305/ndjfl/1093891017 Open Access
KEYWORDS: 02G20
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 14, issue 3 (1973)
Notre Dame J. Formal Logic 14 (3), (July 1973) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top