Equational classes of relative Stone algebras.

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

Authors: T. Hecht | Tibor Katriňák

Levi Contractions and AGM Contractions: A Comparison

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

Authors: Sven Ove Hansson | Erik J. Olsson

Inaccessible worlds.

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

Authors: I. L. Humberstone

Dual-Intuitionistic Logic

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

Authors: Igor Urbas

Intermediate Logics and Visser's Rules

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

Authors: Rosalie Iemhoff

Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz.

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

Authors: Wolfgang Stegmüller

Shrieking, Shrugging, and the Australian Plan

JOURNAL ARTICLE published 1 May 2022 in Notre Dame Journal of Formal Logic

Authors: Hitoshi Omori | Michael De

A Constructive Valuation Semantics for Classical Logic

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

Authors: Franco Barbanera | Stefano Berardi

Arithmetically Saturated Models of Arithmetic

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

Authors: Roman Kossak | James H. Schmerl

PA(aa)

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

Authors: James H. Schmerl

Uncompactness of Stit Logics Containing Generalized Refref Conditionals

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

Authors: Ming Xu

Reverse Mathematics and Fully Ordered Groups

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

Authors: Reed Solomon

Book Review: Michael Resnik. Mathematics as a Science of Patterns

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

Authors: Janet Folina

Book Review: Paolo Mancuso. Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century

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

Authors: Craig Fraser

Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom

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

Authors: José M. Méndez | Francisco Salto

Book Review: Anil Gupta and Nuel Belnap. The Revision Theory of Truth

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

Authors: Robert C. Koons

Propositional Quantification in the Topological Semantics for S4

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

Authors: Philip Kremer

Book review: A. S. Troelstra and D. van Dalen. Constructivism in mathematics, vols. 1 and 2.

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

Authors: Michael J. Beeson

Book Review: C. Anthony Anderson and Joseph Owens. Propositional attitudes: The role of content in logic, language and mind.

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

Authors: Jean R. Kazez

Analytica priora I, $38$ and reduplication.

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

Authors: Ignacio Angelelli