Completeness results for intuitionistic and modal logic in a categorical setting

DOI10.1016/0168-0072(93)00085-4zbMath0830.03036OpenAlexW2013110598WikidataQ126570003 ScholiaQ126570003MaRDI QIDQ1346248

Publication date: 22 March 1995

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(93)00085-4

zbMATH Keywords

modal logic Stone duality model theory intuitionistic logic structured categories category of constant sorts logic of constant sets among variable sets presheaf categories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Quasitopoi, logic and Heyting-valued models, Separably real closed local rings, Representation of categories, Saturated models of intuitionistic theories, Ultraproducts and possible worlds semantics in institutions, Lindenbaum algebras of intuitionistic theories and free categories, Left exact logic, Descent and duality, Sheaves of integral domains on Stone spaces, Completeness results for intuitionistic and modal logic in a categorical setting, Stone duality for first order logic, Identification of certain structures as split opfibrations over \(\Delta^{\text{op}}\), A small complete category, Conceptual completeness for first-order intuitionistic logic: An application of categorical logic, Model completions and r-Heyting categories, Hilbert's Nullstellensatz revisited, Strong conceptual completeness for first-order logic, Regular and exact completions, Classifying toposes for first-order theories, Galois theory in a topos, Galois theory and theaters of action in a topos, Sheaf models for set theory, On full embeddings. I, Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic, Sheaves and prime model extensions, Separable algebraic closure in a topos, Continuous categories and exponentiable toposes, A theorem on Barr-exact categories, with an infinitary generalization, A survey of fuzzy set and topos theory, Modes of adjointness, The semi Heyting-Brouwer logic, Generalized sketches as a framework for completeness theorems. I-III, Proving semantical equivalence of data specifications, A sheaf-theoretic approach to pattern matching and related problems, The associated sheaf functor theorem in algebraic set theory, Infinitesimally stable theories of henselian rings, TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC, Generalising canonical extension to the categorical setting, A category-theoretic approach to Boolean-valued models of set theory, Positive definite functions over regular f-rings and representations as sums of squares, Topos Theory in Montréal in the 1970s: My Personal Involvement, Some Operators in Kripke Models with an Involution, Théorie des modeles et faisceaux, Neighborhood-Sheaf Semantics for First-Order Modal Logic, On logics with coimplication, The connected Vietoris powerlocale, Continuous families of coalgebras, Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory, Classifying topoi and finite forcing, Amalgamation and interpolation in the category of Heyting algebras, The fundamental group of a topos, Completion of L-fuzzy relations, An application of open maps to categorical logic, Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert), Regular universes and formal spaces, Canonical Extensions, Esakia Spaces, and Universal Models, On the Blok-Esakia Theorem, The p-adic spectrum, Rings of smooth functions and their localizations. I

Cites Work