Volume 19 Issue 3 | Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic

VOL. 19 · NO. 3 | July 1978

< Previous Issue | Next Issue >

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)

No abstract available

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

KEYWORDS: 02C99

No abstract available

Three substitution-instance interpretations.

John T. Kearns

Notre Dame J. Formal Logic 19 (3), 331-354, (July 1978) DOI: 10.1305/ndjfl/1093888395

KEYWORDS: 02B10

No abstract available

Primitivity in mereology. II.

Paul J. Welsh Jr.

Notre Dame J. Formal Logic 19 (3), 355-385, (July 1978) DOI: 10.1305/ndjfl/1093888396

KEYWORDS: 03B99, 03A05, 03E70

No abstract available

Doubly transitive sets.

John L. Hickman

Notre Dame J. Formal Logic 19 (3), 386-394, (July 1978) DOI: 10.1305/ndjfl/1093888397

KEYWORDS: 06A05

No abstract available

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

KEYWORDS: 02C05, 02B05

No abstract available

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

KEYWORDS: 01A35, 02-03

No abstract available

Hyperenumeration reducibility.

Luis E. Sanchis

Notre Dame J. Formal Logic 19 (3), 405-415, (July 1978) DOI: 10.1305/ndjfl/1093888400

KEYWORDS: 02F30

No abstract available

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

No abstract available

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

KEYWORDS: 02C05

No abstract available

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

KEYWORDS: 06A20, 02J05

No abstract available

Classifications for inconsistent theories.

John Grant

Notre Dame J. Formal Logic 19 (3), 435-444, (July 1978) DOI: 10.1305/ndjfl/1093888404

KEYWORDS: 02G99, 02H13

No abstract available

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

KEYWORDS: 02C20

No abstract available

Passages between finite and infinite.

Alexander Abian

Notre Dame J. Formal Logic 19 (3), 452-456, (July 1978) DOI: 10.1305/ndjfl/1093888406

KEYWORDS: 00A25

No abstract available

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

KEYWORDS: 02B05

No abstract available

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

KEYWORDS: 03B45

No abstract available

${\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

KEYWORDS: 03B45

No abstract available

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

KEYWORDS: 06A40, 08A15

No abstract available

An ambiguity in modal logic.

John Williamson

Notre Dame J. Formal Logic 19 (3), 475-485, (July 1978) DOI: 10.1305/ndjfl/1093888411

KEYWORDS: 02C10

No abstract available

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

KEYWORDS: 02C10

No abstract available

Truth in constructive metamathematics.

John Staples

Notre Dame J. Formal Logic 19 (3), 489-494, (July 1978) DOI: 10.1305/ndjfl/1093888413

KEYWORDS: 02E05

No abstract available

Relative strength of Malitz quantifiers.

Steven Garavaglia

Notre Dame J. Formal Logic 19 (3), 495-503, (July 1978) DOI: 10.1305/ndjfl/1093888414

KEYWORDS: 02B20

No abstract available

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

KEYWORDS: 06A40

No abstract available

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)

No abstract available

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS