Latarres, lattices with an arrow
From MaRDI portal
Publication:1790604
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
Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Structure theory of lattices (06B05)
Related Items
Cites Work