Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 19 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 19 · NO. 3 | July 1978
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 19, issue 3 (1978)
Notre Dame J. Formal Logic 19 (3), (July 1978) Open Access
No abstract available
DOWNLOAD PAPER
Articles
The adequacy of material dialogue-games.
Erik C. W. Krabbe
Notre Dame J. Formal Logic 19 (3), 321-330, (July 1978) DOI: 10.1305/ndjfl/1093888394 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
Three substitution-instance interpretations.
John T. Kearns
Notre Dame J. Formal Logic 19 (3), 331-354, (July 1978) DOI: 10.1305/ndjfl/1093888395 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
Primitivity in mereology. II.
Paul J. Welsh Jr.
Notre Dame J. Formal Logic 19 (3), 355-385, (July 1978) DOI: 10.1305/ndjfl/1093888396 Open Access
KEYWORDS: 03B99, 03A05, 03E70
No abstract available
DOWNLOAD PAPER
Doubly transitive sets.
John L. Hickman
Notre Dame J. Formal Logic 19 (3), 386-394, (July 1978) DOI: 10.1305/ndjfl/1093888397 Open Access
KEYWORDS: 06A05
No abstract available
DOWNLOAD PAPER
Some observations on a method of McKinsey.
Allan M. Hart, Herbert E. Hendry
Notre Dame J. Formal Logic 19 (3), 395-396, (July 1978) DOI: 10.1305/ndjfl/1093888398 Open Access
KEYWORDS: 02C05, 02B05
No abstract available
DOWNLOAD PAPER
Buridan: ``every proposition is false'' is false.
Mary Sirridge
Notre Dame J. Formal Logic 19 (3), 397-404, (July 1978) DOI: 10.1305/ndjfl/1093888399 Open Access
KEYWORDS: 01A35, 02-03
No abstract available
DOWNLOAD PAPER
Hyperenumeration reducibility.
Luis E. Sanchis
Notre Dame J. Formal Logic 19 (3), 405-415, (July 1978) DOI: 10.1305/ndjfl/1093888400 Open Access
KEYWORDS: 02F30
No abstract available
DOWNLOAD PAPER
On certain incapacities claimed for logicians.
Benjamin S. Hawkins
Notre Dame J. Formal Logic 19 (3), 416-418, (July 1978) DOI: 10.1305/ndjfl/1093888401 Open Access
No abstract available
DOWNLOAD PAPER
A note concerning a sole sufficient operator.
J. C. Muzio
Notre Dame J. Formal Logic 19 (3), 419-420, (July 1978) DOI: 10.1305/ndjfl/1093888402 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
Binomial pairs, semi-Brouwerian and Brouwerian semilattices.
Jürgen Schmidt
Notre Dame J. Formal Logic 19 (3), 421-434, (July 1978) DOI: 10.1305/ndjfl/1093888403 Open Access
KEYWORDS: 06A20, 02J05
No abstract available
DOWNLOAD PAPER
Classifications for inconsistent theories.
John Grant
Notre Dame J. Formal Logic 19 (3), 435-444, (July 1978) DOI: 10.1305/ndjfl/1093888404 Open Access
KEYWORDS: 02G99, 02H13
No abstract available
DOWNLOAD PAPER
Proofs of the normalization and Church-Rosser theorems for the typed $\lambda$-calculus.
Garrel Pottinger
Notre Dame J. Formal Logic 19 (3), 445-451, (July 1978) DOI: 10.1305/ndjfl/1093888405 Open Access
KEYWORDS: 02C20
No abstract available
DOWNLOAD PAPER
Passages between finite and infinite.
Alexander Abian
Notre Dame J. Formal Logic 19 (3), 452-456, (July 1978) DOI: 10.1305/ndjfl/1093888406 Open Access
KEYWORDS: 00A25
No abstract available
DOWNLOAD PAPER
Note about Ł ukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus.
Bolesław Sobociński
Notre Dame J. Formal Logic 19 (3), 457-460, (July 1978) DOI: 10.1305/ndjfl/1093888407 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Semantics for ${\rm S}4.1.2$.
Dolph Ulrich
Notre Dame J. Formal Logic 19 (3), 461-464, (July 1978) DOI: 10.1305/ndjfl/1093888408 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
${\rm S}4.1.4={\rm S}4.1.2$ and ${\rm S}4.021={\rm S}4.04$.
Wolfgang Lenzen
Notre Dame J. Formal Logic 19 (3), 465-466, (July 1978) DOI: 10.1305/ndjfl/1093888409 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A new axiomatization of the mixed associative Newman algebras.
Bolesław Sobociński
Notre Dame J. Formal Logic 19 (3), 467-474, (July 1978) DOI: 10.1305/ndjfl/1093888410 Open Access
KEYWORDS: 06A40, 08A15
No abstract available
DOWNLOAD PAPER
An ambiguity in modal logic.
John Williamson
Notre Dame J. Formal Logic 19 (3), 475-485, (July 1978) DOI: 10.1305/ndjfl/1093888411 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
The minimal modal logic: a cautionary tale about primitives and definitions.
Marilyn Milberger
Notre Dame J. Formal Logic 19 (3), 486-488, (July 1978) DOI: 10.1305/ndjfl/1093888412 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Truth in constructive metamathematics.
John Staples
Notre Dame J. Formal Logic 19 (3), 489-494, (July 1978) DOI: 10.1305/ndjfl/1093888413 Open Access
KEYWORDS: 02E05
No abstract available
DOWNLOAD PAPER
Relative strength of Malitz quantifiers.
Steven Garavaglia
Notre Dame J. Formal Logic 19 (3), 495-503, (July 1978) DOI: 10.1305/ndjfl/1093888414 Open Access
KEYWORDS: 02B20
No abstract available
DOWNLOAD PAPER
Self-conjugate functions on Boolean algebras.
Thomas A. Sudkamp
Notre Dame J. Formal Logic 19 (3), 504-512, (July 1978) DOI: 10.1305/ndjfl/1093888415 Open Access
KEYWORDS: 06A40
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 19, issue 3 (1978)
Notre Dame J. Formal Logic 19 (3), (July 1978) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top