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

Ontologies for Plane, Polygonal Mereotopology

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

Authors: Oliver Lemon | Ian Pratt

A calculus of individuals based on ``connection''.

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

Authors: Bowman L. Clarke

Some Puzzles of Ground

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

Authors: Kit Fine

Probability logic.

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

Authors: Theodore Hailperin

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

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: 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