Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 16 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 16 · NO. 3 | July 1975
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 16, issue 3 (1975)
Notre Dame J. Formal Logic 16 (3), (July 1975)
No abstract available
DOWNLOAD PAPER
Articles
Implication connectives in orthomodular lattices.
L. Herman, E. L. Marsden, R. Piziak
Notre Dame J. Formal Logic 16 (3), 305-328, (July 1975) DOI: 10.1305/ndjfl/1093891789
KEYWORDS: 81.06, 06A30
No abstract available
DOWNLOAD PAPER
Decomposable orthologics.
Barbara Jeffcott
Notre Dame J. Formal Logic 16 (3), 329-338, (July 1975) DOI: 10.1305/ndjfl/1093891790
KEYWORDS: 81.06, 02JXX
No abstract available
DOWNLOAD PAPER
$S_1\not=S0.9$.
Roderic A. Girle
Notre Dame J. Formal Logic 16 (3), 339-344, (July 1975) DOI: 10.1305/ndjfl/1093891791
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Single axioms for atomistic and atomless mereology.
Robert E. Clay
Notre Dame J. Formal Logic 16 (3), 345-351, (July 1975) DOI: 10.1305/ndjfl/1093891792
KEYWORDS: 02G10, 02C99
No abstract available
DOWNLOAD PAPER
The octagon of opposition.
Edward A. Hacker
Notre Dame J. Formal Logic 16 (3), 352-353, (July 1975) DOI: 10.1305/ndjfl/1093891793
No abstract available
DOWNLOAD PAPER
Computability on finite linear configurations.
Thomas H. Payne
Notre Dame J. Formal Logic 16 (3), 354-356, (July 1975) DOI: 10.1305/ndjfl/1093891794
KEYWORDS: 02E15
No abstract available
DOWNLOAD PAPER
A theorem on recursively enumerable vector spaces.
Richard Guhl
Notre Dame J. Formal Logic 16 (3), 357-362, (July 1975) DOI: 10.1305/ndjfl/1093891795
KEYWORDS: 02F50
No abstract available
DOWNLOAD PAPER
A formalization of ``nothing''.
Paul Horwich
Notre Dame J. Formal Logic 16 (3), 363-368, (July 1975) DOI: 10.1305/ndjfl/1093891796
No abstract available
DOWNLOAD PAPER
Peirce's paradoxical solution to the Liar's Paradox.
Emily Michael
Notre Dame J. Formal Logic 16 (3), 369-374, (July 1975) DOI: 10.1305/ndjfl/1093891797
KEYWORDS: 02A05, 01A55
No abstract available
DOWNLOAD PAPER
A characterization of logical consequence in quantification theory.
Robert H. Cowen
Notre Dame J. Formal Logic 16 (3), 375-377, (July 1975) DOI: 10.1305/ndjfl/1093891798
KEYWORDS: 02G20, 02B10
No abstract available
DOWNLOAD PAPER
Shorter development of an axiom.
Ivo Thomas
Notre Dame J. Formal Logic 16 (3), 378, (July 1975) DOI: 10.1305/ndjfl/1093891799
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Sums of $\alpha$-spaces.
Northrup Fowler III
Notre Dame J. Formal Logic 16 (3), 379-388, (July 1975) DOI: 10.1305/ndjfl/1093891800
KEYWORDS: 02F50
No abstract available
DOWNLOAD PAPER
Compactness in abstractions of Post algebras.
R. Beazer
Notre Dame J. Formal Logic 16 (3), 389-396, (July 1975) DOI: 10.1305/ndjfl/1093891801
KEYWORDS: 02J05, 06A35
No abstract available
DOWNLOAD PAPER
Nonstandard probability.
S. Michael Webb
Notre Dame J. Formal Logic 16 (3), 397-401, (July 1975) DOI: 10.1305/ndjfl/1093891802
KEYWORDS: 60A05, 02H25
No abstract available
DOWNLOAD PAPER
A Henkin-style completeness proof for the pure implicational calculus.
George F. Schumm
Notre Dame J. Formal Logic 16 (3), 402-404, (July 1975) DOI: 10.1305/ndjfl/1093891803
KEYWORDS: 02G20
No abstract available
DOWNLOAD PAPER
Solution to a completeness problem of Lemmon and Scott.
R. I. Goldblatt
Notre Dame J. Formal Logic 16 (3), 405-408, (July 1975) DOI: 10.1305/ndjfl/1093891804
KEYWORDS: 02C10, 02H10
No abstract available
DOWNLOAD PAPER
Universal pairs of regressive isols.
Judith Gersting
Notre Dame J. Formal Logic 16 (3), 409-414, (July 1975) DOI: 10.1305/ndjfl/1093891805
KEYWORDS: 02F40
No abstract available
DOWNLOAD PAPER
A note on ${\cal P}$-admissible sets with urelements.
Judy Green
Notre Dame J. Formal Logic 16 (3), 415-417, (July 1975) DOI: 10.1305/ndjfl/1093891806
KEYWORDS: 02K15
No abstract available
DOWNLOAD PAPER
Theories of types and ordered pairs.
John E. Cooley
Notre Dame J. Formal Logic 16 (3), 418-420, (July 1975) DOI: 10.1305/ndjfl/1093891807
KEYWORDS: 02K15
No abstract available
DOWNLOAD PAPER
The confiramtion of sentences by instances with different truth-values of its atoms.
W. A. Verloren van Themaat
Notre Dame J. Formal Logic 16 (3), 421-424, (July 1975) DOI: 10.1305/ndjfl/1093891808
No abstract available
DOWNLOAD PAPER
Subtractive abelian groups.
Rainer Güting
Notre Dame J. Formal Logic 16 (3), 425-428, (July 1975) DOI: 10.1305/ndjfl/1093891809
KEYWORDS: 02G15, 20A10
No abstract available
DOWNLOAD PAPER
Concerning the postulate-systems of subtractive abelian groups.
Bolesław Sobociński
Notre Dame J. Formal Logic 16 (3), 429-444, (July 1975) DOI: 10.1305/ndjfl/1093891810
KEYWORDS: 02G15, 20A10
No abstract available
DOWNLOAD PAPER
Note of the use of sequences in Logics and languages (Methuen, London, 1973).
Max J. Cresswell
Notre Dame J. Formal Logic 16 (3), 445-448, (July 1975) DOI: 10.1305/ndjfl/1093891811
KEYWORDS: 02C10, 68A30
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 16, issue 3 (1975)
Notre Dame J. Formal Logic 16 (3), (July 1975)
No abstract available
DOWNLOAD PAPER
Back to Top