Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 15 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 15 · NO. 4 | October 1974
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 15, issue 4 (1974)
Notre Dame J. Formal Logic 15 (4), (October 1974) Open Access
No abstract available
DOWNLOAD PAPER
Articles
A theorem concerning a restricted rule of substitution in the field of propositional calculi. II.
Bolesław Sobociński
Notre Dame J. Formal Logic 15 (4), 589-597, (October 1974) DOI: 10.1305/ndjfl/1093891486 Open Access
KEYWORDS: 02B05, 02D99
No abstract available
DOWNLOAD PAPER
On the theory of inconsistent formal systems.
Newton C. A. da Costa
Notre Dame J. Formal Logic 15 (4), 497-510, (October 1974) DOI: 10.1305/ndjfl/1093891487 Open Access
KEYWORDS: 02K05, 02C99, 02K10
No abstract available
DOWNLOAD PAPER
An analysis of the concept of constructive categoricity.
Charles Francis Quinn
Notre Dame J. Formal Logic 15 (4), 511-551, (October 1974) DOI: 10.1305/ndjfl/1093891488 Open Access
KEYWORDS: 02H05, 02G20
No abstract available
DOWNLOAD PAPER
Fregean semantics for a realist ontology.
Nino B. Cocchiarella
Notre Dame J. Formal Logic 15 (4), 552-568, (October 1974) DOI: 10.1305/ndjfl/1093891489 Open Access
KEYWORDS: 02B15, 02A05
No abstract available
DOWNLOAD PAPER
Involution as a basis for propositional calculi.
M. B. Smyth
Notre Dame J. Formal Logic 15 (4), 569-588, (October 1974) DOI: 10.1305/ndjfl/1093891490 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Satisfiability in a larger domain.
R. L. Goodstein
Notre Dame J. Formal Logic 15 (4), 598-600, (October 1974) DOI: 10.1305/ndjfl/1093891491 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
Imcomplete models.
John Grant
Notre Dame J. Formal Logic 15 (4), 601-607, (October 1974) DOI: 10.1305/ndjfl/1093891492 Open Access
KEYWORDS: 02H05, 02C05
No abstract available
DOWNLOAD PAPER
Self reference in formal languages.
Peter Swiggart
Notre Dame J. Formal Logic 15 (4), 608-612, (October 1974) DOI: 10.1305/ndjfl/1093891493 Open Access
KEYWORDS: 02D99
No abstract available
DOWNLOAD PAPER
A note on contrariety.
George Englebretsen
Notre Dame J. Formal Logic 15 (4), 613-614, (October 1974) DOI: 10.1305/ndjfl/1093891494 Open Access
KEYWORDS: 02C10, 02A05
No abstract available
DOWNLOAD PAPER
Aristotle and a modern notion of predication.
Kwame Gyekye
Notre Dame J. Formal Logic 15 (4), 615-618, (October 1974) DOI: 10.1305/ndjfl/1093891495 Open Access
No abstract available
DOWNLOAD PAPER
Set-valued set theory. I.
E. William Chapin Jr.
Notre Dame J. Formal Logic 15 (4), 619-634, (October 1974) DOI: 10.1305/ndjfl/1093891496 Open Access
KEYWORDS: 02K10
No abstract available
DOWNLOAD PAPER
Unary predicates.
James Andrew Fulton
Notre Dame J. Formal Logic 15 (4), 635-638, (October 1974) DOI: 10.1305/ndjfl/1093891497 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
A substitution property.
Alan C. Wilde
Notre Dame J. Formal Logic 15 (4), 639-640, (October 1974) DOI: 10.1305/ndjfl/1093891498 Open Access
KEYWORDS: 02J99, 06A40
No abstract available
DOWNLOAD PAPER
Description theory: critical defense of a Russellian approach.
Jean-Claude Volgo
Notre Dame J. Formal Logic 15 (4), 641-647, (October 1974) DOI: 10.1305/ndjfl/1093891499 Open Access
KEYWORDS: 02A05, 02B99
No abstract available
DOWNLOAD PAPER
Back Matter
Erratum: ``A note on E''.
Aleksandar Kron
Notre Dame J. Formal Logic 15 (4), 648, (October 1974) Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Erratum: ``Some results concerning finite models for sentential calculi''.
Dolph Ulrich
Notre Dame J. Formal Logic 15 (4), 648, (October 1974) Open Access
KEYWORDS: 02G15
No abstract available
DOWNLOAD PAPER
Erratum: ``A formal characterization of ordinal numbers''.
Nicholas J. De Lillo
Notre Dame J. Formal Logic 15 (4), 648, (October 1974) Open Access
KEYWORDS: 02G15
No abstract available
DOWNLOAD PAPER
Erratum: ``Duals of Smullyan trees''.
Hugues Leblanc, D. Paul Snyder
Notre Dame J. Formal Logic 15 (4), 648, (October 1974) Open Access
KEYWORDS: 02D99
No abstract available
DOWNLOAD PAPER
Erratum: ``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 15 (4), 648, (October 1974) Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Erratum: ``On the equivalence of strong and weak validity of rule schemes in the two-valued of rule schemes in the two-valued propositional calculus''.
Rangaswamy V. Setlur
Notre Dame J. Formal Logic 15 (4), 648, (October 1974) Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Erratum: ``Donnelly on Geach''.
John G. Stevenson
Notre Dame J. Formal Logic 15 (4), 648, (October 1974) Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
Erratum: ``Logical and historical remarks on Saccheri's geometry''.
Alberto M. Dou
Notre Dame J. Formal Logic 15 (4), 648, (October 1974) Open Access
KEYWORDS: 01A50
No abstract available
DOWNLOAD PAPER
Errata for volumes 10, 11, 13 and 14.
Notre Dame J. Formal Logic 15 (4), 648, (October 1974) Open Access
No abstract available
DOWNLOAD PAPER
Author index II. Volumes XI--XV (1970--1974).
Notre Dame J. Formal Logic 15 (4), 649-664, (October 1974) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 15, issue 4 (1974)
Notre Dame J. Formal Logic 15 (4), (October 1974) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top