Metadata Search Funding Data Link References Status API Help
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

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

Immunity and Hyperimmunity for Sets of Minimal Indices

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

Authors: Frank Stephan | Jason Teutsch

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

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

A Simple Proof of Arithmetical Completeness for $Pi_1$-Conservativity Logic

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

Authors: Giorgi Japaridze

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

Logic, Logics, and Logicism

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

Authors: Solomon Feferman

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