On decidable varieties of Heyting algebras

DOI10.2307/2275444MaRDI QIDQ4032876zbMATH OpenOpenAlexFDO

Authors Devdatt P. Dubhashi

Publication date 1 April 1993

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275444

zbMATH Keywords

decidabilityfirst-order theories of subvarieties of Heyting algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Varieties of lattices (06B20) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Complexity of Boolean algebras
• Decidability problem for finite Heyting algebras
• The computational complexity of logical theories

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)