On decidable varieties of Heyting algebras

DOI10.2307/2275444zbMATH Open0786.03007OpenAlexW2003344527MaRDI QIDQ4032876FDOQ4032876

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

• Title not available (Why is that?)
• Complexity of Boolean algebras
• Decidability problem for finite Heyting algebras
• The computational complexity of logical theories

Cited In (6)

• Some new results on decidability for elementary algebra and geometry
• The decidability of some classes of Stone algebras
• New constants in the superintuitionistic logic L2
• New constants in two pretabular superintuitionistic logics
• A new constant in superintuitionistic logic L3
• Separability and decidability results for varieties of Jónsson dynamic algebras

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)