Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 17 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 17 · NO. 4 | October 1976
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 17, issue 4 (1976)
Notre Dame J. Formal Logic 17 (4), (October 1976) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Leibniz's syllogistico-propositional calculus.
Hector-Neri Casta neda
Notre Dame J. Formal Logic 17 (4), 481-500, (October 1976) DOI: 10.1305/ndjfl/1093887721 Open Access
KEYWORDS: 02-03, 01A45
No abstract available
DOWNLOAD PAPER
Metacompleteness.
Robert K. Meyer
Notre Dame J. Formal Logic 17 (4), 501-516, (October 1976) DOI: 10.1305/ndjfl/1093887722 Open Access
KEYWORDS: 02C15, 02G20, 02E05
No abstract available
DOWNLOAD PAPER
A calculus of matrical descriptors.
David Meredith
Notre Dame J. Formal Logic 17 (4), 517-525, (October 1976) DOI: 10.1305/ndjfl/1093887723 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
On the independence of the fundamental operations of the algebra of species.
Jekeri Okee
Notre Dame J. Formal Logic 17 (4), 526-530, (October 1976) DOI: 10.1305/ndjfl/1093887724 Open Access
KEYWORDS: 02J05, 02C15
No abstract available
DOWNLOAD PAPER
The square of opposition.
George Englebretsen
Notre Dame J. Formal Logic 17 (4), 531-541, (October 1976) DOI: 10.1305/ndjfl/1093887725 Open Access
No abstract available
DOWNLOAD PAPER
A logic for unknown outcomes.
Bertram Bruce
Notre Dame J. Formal Logic 17 (4), 542-550, (October 1976) DOI: 10.1305/ndjfl/1093887726 Open Access
KEYWORDS: 02C05, 02C10
No abstract available
DOWNLOAD PAPER
Algèbre et logique tripolaire.
Léon Birnbaum
Notre Dame J. Formal Logic 17 (4), 551-564, (October 1976) DOI: 10.1305/ndjfl/1093887727 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle. I. Set forms.
Judith M. Harper, Jean E. Rubin
Notre Dame J. Formal Logic 17 (4), 565-588, (October 1976) DOI: 10.1305/ndjfl/1093887728 Open Access
KEYWORDS: 04A25
No abstract available
DOWNLOAD PAPER
A theory of restricted variables without existence assumptions.
Margaret Murphy Prullage
Notre Dame J. Formal Logic 17 (4), 589-612, (October 1976) DOI: 10.1305/ndjfl/1093887729 Open Access
KEYWORDS: 02B15
No abstract available
DOWNLOAD PAPER
A note on evaluation mappings.
Howard C. Wasserman
Notre Dame J. Formal Logic 17 (4), 613-614, (October 1976) DOI: 10.1305/ndjfl/1093887730 Open Access
KEYWORDS: 02J05
No abstract available
DOWNLOAD PAPER
A proof of Sobociński's conjecture concerning a certain set of lattice-theoretical formulas.
Thomas A. Sudkamp
Notre Dame J. Formal Logic 17 (4), 615-616, (October 1976) DOI: 10.1305/ndjfl/1093887731 Open Access
KEYWORDS: 06A20
No abstract available
DOWNLOAD PAPER
The modular latticoids.
Bolesław Sobociński
Notre Dame J. Formal Logic 17 (4), 617-621, (October 1976) DOI: 10.1305/ndjfl/1093887732 Open Access
KEYWORDS: 06A30
No abstract available
DOWNLOAD PAPER
Prior and the Barcan formula.
Dale E. Lichtblau
Notre Dame J. Formal Logic 17 (4), 622-624, (October 1976) DOI: 10.1305/ndjfl/1093887733 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
The axioms for latticoids and their associative extensions.
Bolesław Sobociński
Notre Dame J. Formal Logic 17 (4), 625-631, (October 1976) DOI: 10.1305/ndjfl/1093887734 Open Access
KEYWORDS: 06A75
No abstract available
DOWNLOAD PAPER
A ternary universal decision element.
D. M. Miller, J. C. Muzio
Notre Dame J. Formal Logic 17 (4), 632-637, (October 1976) DOI: 10.1305/ndjfl/1093887735 Open Access
KEYWORDS: 94A20
No abstract available
DOWNLOAD PAPER
A heuristic procedure for natural deduction derivations using reductio ad absurdum.
Michael A. Gilbert
Notre Dame J. Formal Logic 17 (4), 638-639, (October 1976) DOI: 10.1305/ndjfl/1093887736 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Errata: ``Axiomatic, sequenzen-kalkul, and subordinate proof versions of $S9$''.
Arnold vander Nat
Notre Dame J. Formal Logic 17 (4), 640, (October 1976) Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Errata: ``A note on transitivity''.
John R. Chidgey
Notre Dame J. Formal Logic 17 (4), 640, (October 1976) Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Errata: ``Investigations into the sentential calculus with identity''.
Stephen L. Bloom, Roman Suszko
Notre Dame J. Formal Logic 17 (4), 640, (October 1976) Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Errata: ``A completeness proof for $C$-calculus''.
H. Hiż
Notre Dame J. Formal Logic 17 (4), 640, (October 1976) Open Access
KEYWORDS: 02B05, 02G20
No abstract available
DOWNLOAD PAPER
Errata for volumes 13, 14 and 16.
Notre Dame J. Formal Logic 17 (4), 640, (October 1976) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 17, issue 4 (1976)
Notre Dame J. Formal Logic 17 (4), (October 1976) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top