Diego's theorem for nuclear implicative semilattices

DOI10.1016/j.indag.2020.12.005zbMath1498.06007arXiv2001.11060OpenAlexW3114454472MaRDI QIDQ2657649

Luca Carai, Guram Bezhanishvili, Silvio Ghilardi, Nick Bezhanishvili, Mamuka Jibladze, David Gabelaia

Publication date: 14 March 2021

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2001.11060

zbMATH Keywords

nucleusduality theorylocally finite varietyuniversal modelimplicative semilattice

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Semilattices (06A12)

Cites Work

• Priestley style duality for distributive meet-semilattices
• Propositional lax logic
• Representation of Hilbert algebras and implicative semilattices
• A semantic hierarchy for intuitionistic logic
• Esakia style duality for implicative semilattices
• An algebraic approach to subframe logics. Intuitionistic case
• Frames and Locales
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Brouwerian Semilattices
• Grothendieck Topology as Geometric Modality
• The decidability of certain intermediate propositional logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Diego's theorem for nuclear implicative semilattices