Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 13 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 13 · NO. 3 | July 1972
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 13, issue 3 (1972)
Notre Dame J. Formal Logic 13 (3), (July 1972) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Investigations into the sentential calculus with identity.
Stephen L. Bloom, Roman Suszko
Notre Dame J. Formal Logic 13 (3), 289-308, (July 1972) DOI: 10.1305/ndjfl/1093890617 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Axiomatic, sequenzen-kalkul, and subordinate proof versions of ${\rm S9}$.
Arnold vander Nat
Notre Dame J. Formal Logic 13 (3), 309-322, (July 1972) DOI: 10.1305/ndjfl/1093890618 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Modal elaborations of propositional logics.
Ruth Manor, Nicholas Rescher
Notre Dame J. Formal Logic 13 (3), 323-330, (July 1972) DOI: 10.1305/ndjfl/1093890619 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
The historical development of group theoretical ideas in connection with Euclid's axiom of congruence.
Marie Goldstein
Notre Dame J. Formal Logic 13 (3), 331-349, (July 1972) DOI: 10.1305/ndjfl/1093890620 Open Access
KEYWORDS: 20-03
No abstract available
DOWNLOAD PAPER
Sommers on empty domains and existence.
George Englebretsen
Notre Dame J. Formal Logic 13 (3), 350-358, (July 1972) DOI: 10.1305/ndjfl/1093890621 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
An unsolvable provability problem for one variable groupoid equations.
Peter Perkins
Notre Dame J. Formal Logic 13 (3), 359-362, (July 1972) DOI: 10.1305/ndjfl/1093890622 Open Access
KEYWORDS: 02F47, 20M05
No abstract available
DOWNLOAD PAPER
Some results concerning finite models for sentential calculi.
Dolph Ulrich
Notre Dame J. Formal Logic 13 (3), 363-368, (July 1972) DOI: 10.1305/ndjfl/1093890623 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
The existence postulate and non-regular systems of modal logic.
Anjan Shukla
Notre Dame J. Formal Logic 13 (3), 369-378, (July 1972) DOI: 10.1305/ndjfl/1093890624 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Kripke's axiomatization of ${\rm S2}$.
Charles F. Kielkopf
Notre Dame J. Formal Logic 13 (3), 379-380, (July 1972) DOI: 10.1305/ndjfl/1093890625 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
$\varepsilon$-calculus based axiom systems for some propositional modal logics.
Melvin Fitting
Notre Dame J. Formal Logic 13 (3), 381-384, (July 1972) DOI: 10.1305/ndjfl/1093890626 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
On formalizing Aristotle's theory of modal syllogisms.
R. Zane Parks
Notre Dame J. Formal Logic 13 (3), 385-386, (July 1972) DOI: 10.1305/ndjfl/1093890627 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Duals of Smullyan trees.
Hugues Leblanc, D. Paul Snyder
Notre Dame J. Formal Logic 13 (3), 387-393, (July 1972) DOI: 10.1305/ndjfl/1093890628 Open Access
KEYWORDS: 02D99
No abstract available
DOWNLOAD PAPER
Variations in definition of ultraproducts of a family of first order relational structures.
Wilfred G. Malcolm
Notre Dame J. Formal Logic 13 (3), 394-398, (July 1972) DOI: 10.1305/ndjfl/1093890629 Open Access
KEYWORDS: 02H13
No abstract available
DOWNLOAD PAPER
Consistent, independent, and distinct propositions.
Anjan Shukla
Notre Dame J. Formal Logic 13 (3), 399-406, (July 1972) DOI: 10.1305/ndjfl/1093890630 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras.
Bolesław Sobociński
Notre Dame J. Formal Logic 13 (3), 407-423, (July 1972) DOI: 10.1305/ndjfl/1093890631 Open Access
KEYWORDS: 06A40
No abstract available
DOWNLOAD PAPER
A note on E.
Aleksandar Kron
Notre Dame J. Formal Logic 13 (3), 424-426, (July 1972) DOI: 10.1305/ndjfl/1093890632 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
A note on Linsky's Referring.
R. B. Redmon Jr.
Notre Dame J. Formal Logic 13 (3), 427-428, (July 1972) DOI: 10.1305/ndjfl/1093890633 Open Access
No abstract available
DOWNLOAD PAPER
Donnelly on Geach.
John G. Stevenson
Notre Dame J. Formal Logic 13 (3), 429-430, (July 1972) DOI: 10.1305/ndjfl/1093890634 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
Note on Carney's ``Introduction to symbolic logic''.
Howard Pospesel, Alicia Roqué
Notre Dame J. Formal Logic 13 (3), 431-432, (July 1972) DOI: 10.1305/ndjfl/1093890635 Open Access
KEYWORDS: 02-01
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 13, issue 3 (1972)
Notre Dame J. Formal Logic 13 (3), (July 1972) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top