Latarres, lattices with an arrow

DOI10.1007/s11225-017-9765-5zbMath1437.06005OpenAlexW2769488748MaRDI QIDQ1790604

Wim Ruitenburg, Mohammad Ardeshir

Publication date: 2 October 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9765-5

zbMATH Keywords

latticealgebraic logicimplicationVisser algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Structure theory of lattices (06B05)

Related Items

Implication via spacetime

Cites Work

• Unnamed Item
• Unnamed Item
• A propositional logic with explicit fixed points
• Basic Propositional Calculus I
• Counting weak Heyting algebras on finite distributive lattices
• Bounded distributive lattices with strict implication
• Boolean algebras in Visser algebras