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 |
Levi Contractions and AGM Contractions: A Comparison JOURNAL ARTICLE published 1 January 1995 in Notre Dame Journal of Formal Logic |
Immunity and Hyperimmunity for Sets of Minimal Indices JOURNAL ARTICLE published 1 April 2008 in Notre Dame Journal of Formal Logic |
Inaccessible worlds. JOURNAL ARTICLE published 1 July 1983 in Notre Dame Journal of Formal Logic |
Dual-Intuitionistic Logic JOURNAL ARTICLE published 1 July 1996 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 |
A Simple Proof of Arithmetical Completeness for $Pi_1$-Conservativity Logic JOURNAL ARTICLE published 1 July 1994 in Notre Dame Journal of Formal Logic |
Book Review: Michael Resnik. Mathematics as a Science of Patterns JOURNAL ARTICLE published 1 July 1999 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 |
Logic, Logics, and Logicism JOURNAL ARTICLE published 1 January 1999 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 |
Propositional Quantification in the Topological Semantics for S4 JOURNAL ARTICLE published 1 April 1997 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 |