Facet browsing currently unavailable
Page 1 of 2716 results
Sort by: relevance publication year
Equational classes of relative Stone algebras. JOURNAL ARTICLE published 1 April 1972 in Notre Dame Journal of Formal Logic |
Ontologies for Plane, Polygonal Mereotopology JOURNAL ARTICLE published 1 April 1997 in Notre Dame Journal of Formal Logic |
A calculus of individuals based on ``connection''. JOURNAL ARTICLE published 1 July 1981 in Notre Dame Journal of Formal Logic |
Some Puzzles of Ground JOURNAL ARTICLE published 1 January 2010 in Notre Dame Journal of Formal Logic |
Probability logic. JOURNAL ARTICLE published 1 July 1984 in Notre Dame Journal of Formal Logic |
Levi Contractions and AGM Contractions: A Comparison JOURNAL ARTICLE published 1 January 1995 in Notre Dame Journal of Formal Logic |
Inaccessible worlds. JOURNAL ARTICLE published 1 July 1983 in Notre Dame Journal of Formal Logic |
Intermediate Logics and Visser's Rules JOURNAL ARTICLE published 1 January 2005 in Notre Dame Journal of Formal Logic |
Shrieking, Shrugging, and the Australian Plan JOURNAL ARTICLE published 1 May 2022 in Notre Dame Journal of Formal Logic |
A Constructive Valuation Semantics for Classical Logic JOURNAL ARTICLE published 1 July 1996 in Notre Dame Journal of Formal Logic |
Arithmetically Saturated Models of Arithmetic JOURNAL ARTICLE published 1 October 1995 in Notre Dame Journal of Formal Logic |
PA(aa) JOURNAL ARTICLE published 1 October 1995 in Notre Dame Journal of Formal Logic |
Uncompactness of Stit Logics Containing Generalized Refref Conditionals JOURNAL ARTICLE published 1 October 1998 in Notre Dame Journal of Formal Logic |
Reverse Mathematics and Fully Ordered Groups JOURNAL ARTICLE published 1 April 1998 in Notre Dame Journal of Formal Logic |
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 |
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 |
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 |
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 |
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 |
Analytica priora I, $38$ and reduplication. JOURNAL ARTICLE published 1 April 1978 in Notre Dame Journal of Formal Logic |