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) Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top