Facet browsing currently unavailable
Page 1 of 2720 results
Sort by: relevance publication year
Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic |
Zermelo, reductionism, and the philosophy of mathematics. JOURNAL ARTICLE published 1 September 1993 in Notre Dame Journal of Formal Logic |
An extension of the basic functionality theory for the $lambda$-calculus. JOURNAL ARTICLE published 1 October 1980 in Notre Dame Journal of Formal Logic |
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 |
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 |
The Ontology of Impossible Worlds JOURNAL ARTICLE published 1 October 1997 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 |