A simple algebra of first order logic.

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

Authors: Charles C. Pinter

The two logics: traditional and modern.

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

Authors: Theodore C. Denise

The theory of consequence in the late fifteenth and early sixteenth centuries.

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

Authors: E. J. Ashworth

The completeness of combinatory logic with discriminators.

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

Authors: John T. Kearns

A modal analog for Glivenko's theorem and its applications.

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

Authors: V. V. Rybakov

Admissible rules, derivable rules, and extendible logistic systems.

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

Authors: Howard C. Wasserman

Minimal doxastic logic: probabilistic and other completeness theorems.

JOURNAL ARTICLE published 1 September 1993 in Notre Dame Journal of Formal Logic

Authors: Peter Milne

Single axioms for atomistic and atomless mereology.

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

Authors: Robert E. Clay

Gentzen systems for modal logic.

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

Authors: Louis F. Goble

${rm S}4.6$ is ${rm S}4.9$.

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

Authors: J. Jay Zeman

Beth's tableaux for relevant logic.

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

Authors: J.-F. Pabion

On the intuitionistic equivalential calculus.

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

Authors: Robert E. Tax

Matters of separation.

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

Authors: H. Leblanc | R. K. Meyer

Les propriétés du foncteur Nicod par rapport à le réciprocité et conjonction. II.

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

Authors: Eugen Mihăilescu

Model theory of alternative rings.

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

Authors: Bruce I. Rose

A Note on Recursive Models of Set Theories

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

Authors: Antonella Mancini | Domenico Zambella

Nonclassical Mereology and Its Application to Sets

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

Authors: Peter Forrest

Book Review: Kit Fine. The Limits of Abstraction

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

Authors: John P. Burgess

Periodicity of Negation

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

Authors: Athanassios Tzouvaras

Implicit Definability of Subfields

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

Authors: Kenji Fukuzaki | Akito Tsuboi