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

Ages of Expansions of ω-Categorical Structures

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

Authors: A. Ivanov | K. Majcher

Book Review: Stewart Shapiro. Philosophy of Mathematics: Structure and Ontology.

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

Authors: John P. Burgess

The Ontology of Impossible Worlds

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

Authors: David A. Vander Laan

Strange Structures from Computable Model Theory

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

Authors: Howard Becker

Indiscernible Extraction and Morley Sequences

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

Authors: Sebastien Vasey

Locally Finite Reducts of Heyting Algebras and Canonical Formulas

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

Authors: Guram Bezhanishvili | Nick Bezhanishvili

Models as Universes

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

Authors: Brice Halimi

Concerning some extensions of ${rm S}4$.

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

Authors: Bolesław Sobociński

On how best to make sense of Leśniewski's ontology.

JOURNAL ARTICLE published 1 February 1973 in Notre Dame Journal of Formal Logic

Authors: Paul T. Sagal

The logic of intending and believing.

JOURNAL ARTICLE published 1 October 1975 in Notre Dame Journal of Formal Logic

Authors: Peter A. Facione

The completeness of $S1$ and some related systems.

JOURNAL ARTICLE published 1 October 1972 in Notre Dame Journal of Formal Logic

Authors: Max J. Cresswell

Projective bigraphs with recursive operations.

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

Authors: J. C. E. Dekker

Stable groups, mostly of finite exponent.

JOURNAL ARTICLE published 1 March 1993 in Notre Dame Journal of Formal Logic

Authors: Frank O. Wagner

A general propositional logic of conditionals.

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

Authors: Scott Lehmann

Is epistemic logic possible?

JOURNAL ARTICLE published 1 October 1972 in Notre Dame Journal of Formal Logic

Authors: Max O. Hocutt

Duals of Smullyan trees.

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

Authors: Hugues Leblanc | D. Paul Snyder

Peter van Inwagen, Substitutional Quantification, and Ontological Commitment

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

Authors: William Craig

Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis

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

Authors: François G. Dorais

On Existence in Set Theory, Part II: Relative Productivity

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

Authors: Rodrigo A. Freire