Choice-free topological duality for implicative lattices and Heyting algebras
From MaRDI portal
Abstract: We develop a common semantic framework for the interpretation both of , the intuitionistic propositional calculus, and of logics weaker than (substructural and subintuitionistic logics). This is done by proving a choice-free representation and duality theorem for implicative lattices, which may or may not be distributive. The duality specializes to a choice-free duality for the category of Heyting algebras and a category of topological sorted frames with a ternary sorted relation.
Cites work
- A closer look at some subintuitionistic logics
- A propositional logic with explicit fixed points
- Algebraic and topological semantics for inquisitive logic via choice-free duality
- Bi-approximation semantics for substructural logic at work
- Bitopological duality for distributive lattices and Heyting algebras
- Boolean Algebras with Operators. Part I
- Bounded lattice expansions
- Canonical extensions and profinite completions of semilattices and lattices
- Choice-free duality for orthocomplemented lattices by means of spectral spaces
- Choice-free Stone duality
- Duality for lattice-ordered algebras and for normal algebraizable logics
- Duality for normal lattice expansions and sorted residuated frames with relations
- Duality results for (co)residuated lattices
- Generalized Kripke frames
- Generalized Kripke semantics for the Lambek-Grishin calculus
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- scientific article; zbMATH DE number 3950473 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 1249514 (Why is no real title available?)
- scientific article; zbMATH DE number 1140580 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 3796014 (Why is no real title available?)
- scientific article; zbMATH DE number 757639 (Why is no real title available?)
- scientific article; zbMATH DE number 7668115 (Why is no real title available?)
- Modal companions of intermediate propositional logics
- Modal translation of substructural logics
- On the Blok-Esakia theorem
- On the Logic of Information Flow
- Order-dual relational semantics for non-distributive propositional logics
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Positive modal logic beyond distributivity
- Reconciliation of approaches to the semantics of logics without distribution
- Relation algebras as residuated Boolean algebras
- Relational semantics for full linear logic
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Representation of lattices with modal operators in two-sorted frames
- Representations and dualities for bounded lattices
- Residuated lattices. An algebraic glimpse at substructural logics
- Semantic analysis of orthologic
- Stone duality for lattice expansions
- Stone duality for lattices
- Subintuitionistic logics
- Topological duality and lattice expansions. I: A topological construction of canonical extensions.
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
- Weak Logics with Strict Implication
- Weak subintuitionistic logics
Cited in
(2)
This page was built for publication: Choice-free topological duality for implicative lattices and Heyting algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6183434)
