On decidable varieties of Heyting algebras
From MaRDI portal
Publication:4032876
Cites work
Cited in
(6)- Separability and decidability results for varieties of Jónsson dynamic algebras
- The decidability of some classes of Stone algebras
- New constants in the superintuitionistic logic L2
- New constants in two pretabular superintuitionistic logics
- Some new results on decidability for elementary algebra and geometry
- A new constant in superintuitionistic logic L3
This page was built for publication: On decidable varieties of Heyting algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032876)