An application of open maps to categorical logic
From MaRDI portal
Publication:1055409
DOI10.1016/0022-4049(83)90047-6zbMATH Open0521.03051OpenAlexW2078108932MaRDI QIDQ1055409FDOQ1055409
Authors: Andrew M. Pitts 
Publication date: 1983
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(83)90047-6
Cites Work
- Tripos theory
- Title not available (Why is that?)
- Completeness results for intuitionistic and modal logic in a categorical setting
- Open maps of toposes
- Amalgamation and interpolation in the category of Heyting algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Indexed categories and their applications
Cited In (17)
- A Calculus of Terms for Coalgebras of Polynomial Functors
- On duality and model theory for polyadic spaces
- Lindenbaum algebras of intuitionistic theories and free categories
- 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
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
- Nominal logic, a first order theory of names and binding
- 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)
