Latarres, lattices with an arrow

DOI10.1007/S11225-017-9765-5MaRDI QIDQ1790604zbMATH OpenOpenAlexFDO

Authors Mohammad Ardeshir, Wim Ruitenburg

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

algebraic logicimplicationlatticeVisser algebra

Mathematics Subject Classification ID

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

Recommendations

• Correspondences between the Heyting arrow lattices of a distributive lattice and its sublattices in relational biologic systems
• On Tamari lattices
• The Heyting arrow lattice for qualitative relations in biological systems
• scientific article; zbMATH DE number 3859188
• scientific article; zbMATH DE number 4130443

Cites work

• A propositional logic with explicit fixed points
• Basic Propositional Calculus I
• Boolean algebras in Visser algebras
• Bounded distributive lattices with strict implication
• Counting weak Heyting algebras on finite distributive lattices
• scientific article; zbMATH DE number 3796014 (Why is no real title available?)
• scientific article; zbMATH DE number 3445421 (Why is no real title available?)

Cited in

(2)

• Implication via spacetime
• On a generalization of Heyting algebras. I

This page was built for publication: Latarres, lattices with an arrow

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1790604)