Esakia style duality for implicative semilattices
type: Item
instance of: scholarly article
title: Esakia style duality for implicative semilattices
zbMATH Open document ID: 1294.06005
author: Guram Bezhanishvili
author: Ramon Jansana
published in: Applied Categorical Structures
publication date: 2013-03-25T00:00:00Z
Mathematics Subject Classification ID: 06A12
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 06D50
zbMATH DE Number: 6148663
zbMATH Keywords: implicative semilattice
zbMATH Keywords: Heyting algebra
zbMATH Keywords: duality theory
MaRDI profile type: Publication
full work available at URL: s10485-011-9265-0
OpenAlex ID: W2086961867
cites work: The fundamental duality of partially ordered sets
cites work: AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
cites work: Bitopological duality for distributive lattices and Heyting algebras
cites work: Priestley style duality for distributive meet-semilattices
cites work: Q4436398
cites work: Representation of Hilbert algebras and implicative semilattices
cites work: Q4111635
cites work: Q3138861
cites work: Choiceless, pointless, but not useless: dualities for preframes
cites work: Q4049062
cites work: Q3898534
cites work: Continuous Lattices and Domains
cites work: Q5270289
cites work: Q3931593
cites work: Q3965241
cites work: Brouwerian Semilattices
cites work: Varieties with equationally definable principal congruences
cites work: Implicative Semi-Lattices
cites work: Representation of Distributive Lattices by means of ordered Stone Spaces
cites work: Ordered Topological Spaces and the Representation of Distributive Lattices
cites work: The Theory of Representation for Boolean Algebras
cites work: Topological representations of distributive lattices and Brouwerian logics
cites work: Q3724386
DOI: 10.1007/S10485-011-9265-0
Recommended article: Q5754455
Recommended article: Q3159066
Recommended article: Q4415442
Recommended article: Modal semilattices, implicative semilattices and triples
Recommended article: On filters of implicative semilattices
Recommended article: Dual-context sequent calculus and strict implication
Recommended article: Towards an algebraic semantics for implicatives
Recommended article: Strong Semilattices of Implicative Semigroups
Recommended article: \(l\)-hemi-implicative semilattices
Recommended article: Implicational (semilinear) logics. I: A new hierarchy
description: scientific article; zbMATH DE number 6148663