Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 12 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 12 · NO. 2 | April 1971
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 12, issue 2 (1971)
Notre Dame J. Formal Logic 12 (2), (April 1971) Open Access
No abstract available
DOWNLOAD PAPER
Articles
In memoriam A. N. Prior (1914--1969).
Ivo Thomas
Notre Dame J. Formal Logic 12 (2), 129-130, (April 1971) DOI: 10.1305/ndjfl/1093894212 Open Access
KEYWORDS: 02.27, 01.00
No abstract available
DOWNLOAD PAPER
Conventionalist and contingency-oriented modal logics.
R. Routley
Notre Dame J. Formal Logic 12 (2), 131-152, (April 1971) DOI: 10.1305/ndjfl/1093894213 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Truth-value semantics for a logic of existence.
Hugues Leblanc
Notre Dame J. Formal Logic 12 (2), 153-168, (April 1971) DOI: 10.1305/ndjfl/1093894214 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
Two modes of deductive inference.
John R. Gregg
Notre Dame J. Formal Logic 12 (2), 169-178, (April 1971) DOI: 10.1305/ndjfl/1093894215 Open Access
KEYWORDS: 02.18
No abstract available
DOWNLOAD PAPER
Gentzen-like systems for partial propositional calculi. II.
E. William Chapin Jr.
Notre Dame J. Formal Logic 12 (2), 179-182, (April 1971) DOI: 10.1305/ndjfl/1093894216 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Intuitionistic negation.
W. Russell Belding
Notre Dame J. Formal Logic 12 (2), 183-187, (April 1971) DOI: 10.1305/ndjfl/1093894217 Open Access
KEYWORDS: 02C15
No abstract available
DOWNLOAD PAPER
Duality in finite many-valued logic.
Rangaswamy V. Setlur
Notre Dame J. Formal Logic 12 (2), 188-194, (April 1971) DOI: 10.1305/ndjfl/1093894218 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
Quine on translational indeterminacy.
Laurence Foss
Notre Dame J. Formal Logic 12 (2), 195-202, (April 1971) DOI: 10.1305/ndjfl/1093894219 Open Access
No abstract available
DOWNLOAD PAPER
Atomistic mereology. II.
Bolesław Sobociński
Notre Dame J. Formal Logic 12 (2), 203-213, (April 1971) DOI: 10.1305/ndjfl/1093894220 Open Access
KEYWORDS: 02.42
No abstract available
DOWNLOAD PAPER
Independence of the axioms and rules of inference of one system of the extended propositional calculus.
Nadejda Georgieva
Notre Dame J. Formal Logic 12 (2), 214-218, (April 1971) DOI: 10.1305/ndjfl/1093894221 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
A tableau proof method admitting the empty domain.
Melvin Fitting
Notre Dame J. Formal Logic 12 (2), 219-224, (April 1971) DOI: 10.1305/ndjfl/1093894222 Open Access
KEYWORDS: 02D99
No abstract available
DOWNLOAD PAPER
A system of modality.
Louis F. Goble
Notre Dame J. Formal Logic 12 (2), 225-237, (April 1971) DOI: 10.1305/ndjfl/1093894223 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Isomorphisms of $\omega$-groups.
Charles H. Applebaum
Notre Dame J. Formal Logic 12 (2), 238-248, (April 1971) DOI: 10.1305/ndjfl/1093894224 Open Access
KEYWORDS: 02F25
No abstract available
DOWNLOAD PAPER
A note on an axiom-system of atomistic mereology.
Bolesław Sobociński
Notre Dame J. Formal Logic 12 (2), 249-251, (April 1971) DOI: 10.1305/ndjfl/1093894225 Open Access
KEYWORDS: 02.42
No abstract available
DOWNLOAD PAPER
Some embedding theorems for modal logic.
David Makinson
Notre Dame J. Formal Logic 12 (2), 252-254, (April 1971) DOI: 10.1305/ndjfl/1093894226 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Incompleteness via simple sets.
Erik Ellentuck
Notre Dame J. Formal Logic 12 (2), 255-256, (April 1971) DOI: 10.1305/ndjfl/1093894227 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 12, issue 2 (1971)
Notre Dame J. Formal Logic 12 (2), (April 1971) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top