A note on natural deduction.

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

Authors: Alex Blum

For so many individuals.

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

Authors: Kit Fine

The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.

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

Authors: Ross T. Brady

Axiomatization of fragments of ${rm S}5$.

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

Authors: Thomas W. Scharle

Nonreduction of Relations in the Gromov Space to Polish Actions

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

Authors: Jesús A. Álvarez López | Alberto Candel

Formation sequences for propositional formulas.

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

Authors: Martin M. Zuckerman

Axioms for generalized Newman algebras.

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

Authors: R. Beazer

Axiomatic inscriptional syntax. Part II. The syntax of protothetic.

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

Authors: V. Frederick Rickey

Self-conjugate functions on Boolean algebras.

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

Authors: Thomas A. Sudkamp

The pragmatics of first order languages. I.

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

Authors: Albert Sweet

A new axiomatization of the mixed associative Newman algebras.

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

Authors: Bolesław Sobociński

Aristotle on the subject of predication.

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

Authors: George Englebretsen

An analysis of the subjunctive conditional.

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

Authors: Charles B. Daniels | James B. Freeman

The extensional pragmatics of commands.

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

Authors: Nicholas J. Moutafakis

Uncertainties over distribution dispelled.

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

Authors: William H. Friedman

An arithmetical completeness theorem for pre-permutations.

JOURNAL ARTICLE published 1 December 1992 in Notre Dame Journal of Formal Logic

Authors: Friedemann Tuttas

Concerning the postulate-systems of subtractive abelian groups.

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

Authors: Bolesław Sobociński

The intensionality of the predicate `$underline{}$ is recursive'.

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

Authors: Charles F. Kielkopf

On some substitution instances of ${bf R1}$ and ${bf L1}$.

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

Authors: Wolfgang Lenzen

Some results on generalized truth-tables.

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

Authors: Ralph C. Applebee | Biswambhar Pahi