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

Modified strong reduction in combinatory logic.

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

Authors: Kenneth Loewen

A note on the regular and irregular modal systems of Lewis.

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

Authors: Bolesław Sobociński

A note on a lemma of J. W. Addison.

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

Authors: Richard L. Poss

The method of possibility-diagrams for testing the validity of certain types of inferences, based on Jevons' logical alphabet.

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

Authors: Gordon L. Brumm

Proof of some theorems on recursively enumerable sets.

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

Authors: Thoralf Skolem

Omitting the replacement schema in recursive arithmetic.

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

Authors: I. J. Heath

Notes on the axiomatics of the propositional calculus.

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

Authors: C. A. Meredith | A. N. Prior

The Carrollian matrix.

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

Authors: Elvin Rasof

A Note on Monothetic BCI

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

Authors: Sam Butchart | Tomasz Kowalski

Four-valued tables and modal logic.

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

Authors: Richard L. Purtill

Leśniewski and Frege on collective classes.

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

Authors: Vito F. Sinisi

A diagram of the functors of the two-valued propositional calculus.

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

Authors: Thomas W. Scharle

A note on the axiomatizations of certain modal systems.

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

Authors: Anjan Shukla

A note to my paper: ``On characterizations of the first-order functional calculus''.

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

Authors: Juliusz Reichbach

Modal system ${rm S}4.4$.

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

Authors: Bolesław Sobociński