Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 15 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 15 · NO. 3 | July 1974
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 15, issue 3 (1974)
Notre Dame J. Formal Logic 15 (3), (July 1974) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Indice de vérité, fonctions implicationnelles accessibles, recensement des thèses.
Albert Sade
Notre Dame J. Formal Logic 15 (3), 353-369, (July 1974) DOI: 10.1305/ndjfl/1093891399 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Logical consequence in modal logic. II. Some semantic systems for ${\rm S}4$.
John Corcoran, George Weaver
Notre Dame J. Formal Logic 15 (3), 370-378, (July 1974) DOI: 10.1305/ndjfl/1093891400 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Normal and skew systems.
Gary Gilford Gleason
Notre Dame J. Formal Logic 15 (3), 379-401, (July 1974) DOI: 10.1305/ndjfl/1093891401 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
$K1$ as a Dawson modeling of A. R. Anderson's sense of ``ought''.
Charles F. Kielkopf
Notre Dame J. Formal Logic 15 (3), 402-410, (July 1974) DOI: 10.1305/ndjfl/1093891402 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Logic without tautologies.
Leo Simons
Notre Dame J. Formal Logic 15 (3), 411-431, (July 1974) DOI: 10.1305/ndjfl/1093891403 Open Access
KEYWORDS: 02G20, 02C05
No abstract available
DOWNLOAD PAPER
Translation of the simple theory of types into a first order language.
H. Julian Wadleigh
Notre Dame J. Formal Logic 15 (3), 432-442, (July 1974) DOI: 10.1305/ndjfl/1093891404 Open Access
KEYWORDS: 02H05, 02B15, 02D99
No abstract available
DOWNLOAD PAPER
$\alpha$-models and the systems $T$ and $T^\ast$.
Newton C. A. da Costa
Notre Dame J. Formal Logic 15 (3), 443-454, (July 1974) DOI: 10.1305/ndjfl/1093891405 Open Access
KEYWORDS: 02K10, 18A15
No abstract available
DOWNLOAD PAPER
Gentzen systems for modal logic.
Louis F. Goble
Notre Dame J. Formal Logic 15 (3), 455-461, (July 1974) DOI: 10.1305/ndjfl/1093891406 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
William of Sherwood on propositions and their parts.
Mary J. Sirridge
Notre Dame J. Formal Logic 15 (3), 462-464, (July 1974) DOI: 10.1305/ndjfl/1093891407 Open Access
KEYWORDS: 02-03, 02A05
No abstract available
DOWNLOAD PAPER
A theorem concerning a restricted rule of substitution in the field of propositional calculi. I.
Bolesław Sobociński
Notre Dame J. Formal Logic 15 (3), 465-476, (July 1974) DOI: 10.1305/ndjfl/1093891408 Open Access
KEYWORDS: 02B05, 02D99
No abstract available
DOWNLOAD PAPER
On Meredith's sole positive axiom.
Ivo Thomas
Notre Dame J. Formal Logic 15 (3), 477, (July 1974) DOI: 10.1305/ndjfl/1093891409 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
The one variable implicational calculus.
V. Frederick Rickey
Notre Dame J. Formal Logic 15 (3), 478-480, (July 1974) DOI: 10.1305/ndjfl/1093891410 Open Access
KEYWORDS: 02B05, 02G15
No abstract available
DOWNLOAD PAPER
Ordered pairs and cardinality in new foundations.
John Lake
Notre Dame J. Formal Logic 15 (3), 481-484, (July 1974) DOI: 10.1305/ndjfl/1093891411 Open Access
KEYWORDS: 02K10
No abstract available
DOWNLOAD PAPER
A note on UDE's in an $n$-valued logic.
T. C. Wesselkamper
Notre Dame J. Formal Logic 15 (3), 485-486, (July 1974) DOI: 10.1305/ndjfl/1093891412 Open Access
KEYWORDS: 02C05, 94A30
No abstract available
DOWNLOAD PAPER
A simple proof of Herbrand's theorem.
Andrés R. Raggio
Notre Dame J. Formal Logic 15 (3), 487-488, (July 1974) DOI: 10.1305/ndjfl/1093891413 Open Access
KEYWORDS: 02D99
No abstract available
DOWNLOAD PAPER
On syntactical characterization of logical expressions.
Howard Burdick
Notre Dame J. Formal Logic 15 (3), 489-490, (July 1974) DOI: 10.1305/ndjfl/1093891414 Open Access
No abstract available
DOWNLOAD PAPER
Generalizations of the distributive and associative laws.
Alan C. Wilde
Notre Dame J. Formal Logic 15 (3), 491-493, (July 1974) DOI: 10.1305/ndjfl/1093891415 Open Access
KEYWORDS: 06A40
No abstract available
DOWNLOAD PAPER
On a nonthesis of classical modal logic.
Robert W. Murungi
Notre Dame J. Formal Logic 15 (3), 494-496, (July 1974) DOI: 10.1305/ndjfl/1093891416 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 15, issue 3 (1974)
Notre Dame J. Formal Logic 15 (3), (July 1974) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top