On decidable varieties of Heyting algebras

DOI10.2307/2275444zbMath0786.03007OpenAlexW2003344527MaRDI QIDQ4032876

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

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

Related Items (3)

New constants in the superintuitionistic logic L2 ⋮ A new constant in superintuitionistic logic L3 ⋮ New constants in two pretabular superintuitionistic logics

Cites Work

• Unnamed Item
• Complexity of Boolean algebras
• The computational complexity of logical theories
• Decidability problem for finite Heyting algebras

This page was built for publication: On decidable varieties of Heyting algebras