Counting weak Heyting algebras on finite distributive lattices

DOI10.1093/JIGPAL/JZU033zbMath1405.06004OpenAlexW2109494992MaRDI QIDQ4644513

Nima Joharizadeh, Majid Alizadeh

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzu033

zbMATH Keywords

distributive latticeHeyting algebrasubintuitionistic logicVisser algebraweak Heyting algebraLöb algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20)

Related Items (2)

On self‐distributive weak Heyting algebras ⋮ Latarres, lattices with an arrow

This page was built for publication: Counting weak Heyting algebras on finite distributive lattices