The construction of a Steiner triple system on sets of the power of the continuum without the axiom of choice.

JOURNAL ARTICLE published 1 January 1966 in Notre Dame Journal of Formal Logic

Authors: William J. Frascella

In memoriam A. N. Prior (1914--1969).

JOURNAL ARTICLE published 1 April 1971 in Notre Dame Journal of Formal Logic

Authors: Ivo Thomas

On induction.

JOURNAL ARTICLE published 1 January 1965 in Notre Dame Journal of Formal Logic

Authors: Rolf Schock

Propositional sequence-calculi for inconsistent systems.

JOURNAL ARTICLE published 1 October 1968 in Notre Dame Journal of Formal Logic

Authors: Andrés R. Raggio

In memoriam: Clarence Irving Lewis (1883--1964).

JOURNAL ARTICLE published 1 April 1970 in Notre Dame Journal of Formal Logic

Authors: William Tuthill Parry

A theorem on maximal sets.

JOURNAL ARTICLE published 1 January 1961 in Notre Dame Journal of Formal Logic

Authors: Joseph S. Ullian

On the connection of the first-order functional calculus with $aleph_0}$ propositional calculus.

JOURNAL ARTICLE published 1 January 1965 in Notre Dame Journal of Formal Logic

Authors: Juliusz Reichbach

A theory of categorical syllogism.

JOURNAL ARTICLE published 1 July 1969 in Notre Dame Journal of Formal Logic

Authors: Setsuo Saito

Logical consequence in modal logic: Natural deduction in ${rm S}5$.

JOURNAL ARTICLE published 1 October 1969 in Notre Dame Journal of Formal Logic

Authors: John Corcoran | George Weaver

The Gödel theorem.

JOURNAL ARTICLE published 1 January 1961 in Notre Dame Journal of Formal Logic

Authors: Norwood Russell Hanson

A note on theses of the first-order functional calculus.

JOURNAL ARTICLE published 1 October 1968 in Notre Dame Journal of Formal Logic

Authors: Juliusz Reichbach

Ein nichtkonstruktiver Beweis des ersten $varepsilon$-theorems.

JOURNAL ARTICLE published 1 July 1970 in Notre Dame Journal of Formal Logic

Authors: Wilhelm K. Essler

On the infinity of positive logic.

JOURNAL ARTICLE published 1 January 1962 in Notre Dame Journal of Formal Logic

Authors: Ivo Thomas

Finite model property for five modal calculi in the neighbourhood of $S3$.

JOURNAL ARTICLE published 1 January 1971 in Notre Dame Journal of Formal Logic

Authors: Anjan Shukla

A rule-completeness theorem.

JOURNAL ARTICLE published 1 January 1963 in Notre Dame Journal of Formal Logic

Authors: Nuel D. Belnap | Richmond H. Thomason

Measurable cardinals and constructibility without regularity.

JOURNAL ARTICLE published 1 July 1971 in Notre Dame Journal of Formal Logic

Authors: Richard L. Poss

Expressibility in type theory.

JOURNAL ARTICLE published 1 July 1970 in Notre Dame Journal of Formal Logic

Authors: H. Julian Wadleigh

Three-valued propositional fragments with classical implication.

JOURNAL ARTICLE published 1 April 1967 in Notre Dame Journal of Formal Logic

Authors: Ivo Thomas

Some theorems on the structure of mutant sets and their applications to group and ring theories.

JOURNAL ARTICLE published 1 January 1962 in Notre Dame Journal of Formal Logic

Authors: Albert A. Mullin

A standard form for Ł ukasiewicz many-valued logics.

JOURNAL ARTICLE published 1 January 1963 in Notre Dame Journal of Formal Logic

Authors: Robert E. Clay