An application of open maps to categorical logic
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3836032 (Why is no real title available?)
- scientific article; zbMATH DE number 3710374 (Why is no real title available?)
- scientific article; zbMATH DE number 3370546 (Why is no real title available?)
- Amalgamation and interpolation in the category of Heyting algebras
- Completeness results for intuitionistic and modal logic in a categorical setting
- Indexed categories and their applications
- Open maps of toposes
- Tripos theory
Cited in
(17)- A Calculus of Terms for Coalgebras of Polynomial Functors
- Lindenbaum algebras of intuitionistic theories and free categories
- On duality and model theory for polyadic spaces
- A first order logic of effects
- Ultrasheaves and double negation
- Amalgamation and interpolation in the category of Heyting algebras
- Continuity spaces: Reconciling domains and metric spaces
- Nominal logic, a first order theory of names and binding
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
- On the semantics of the universal quantifier
- Saturated models of intuitionistic theories
- Generalising canonical extension to the categorical setting
- Ultrafilters, finite coproducts and locally connected classifying toposes
- Interpolation property for bicartesian closed categories
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
- Completeness results for intuitionistic and modal logic in a categorical setting
This page was built for publication: An application of open maps to categorical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1055409)
