The decidability of some classes of Stone algebras
From MaRDI portal
(Redirected from Publication:412007)
Recommendations
- Definable sets in Stone algebras
- Decidability of elementary theories of certain finitely defined algebras
- On decidable varieties of Heyting algebras
- The Stone spaces of Boolean algebras
- Decidable properties of logical calculi and of varieties of algebras
- scientific article; zbMATH DE number 1916566
- Computer Science Logic
- Decidability in Pre-rough Algebras: Extended Abstract
- Decidability problem for finite Heyting algebras
- About the Stone space of a Boolean algebra
Cites work
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3779289 (Why is no real title available?)
- scientific article; zbMATH DE number 3550696 (Why is no real title available?)
- scientific article; zbMATH DE number 5488086 (Why is no real title available?)
- scientific article; zbMATH DE number 3062900 (Why is no real title available?)
- Decidability and Boolean representations
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Decidability problem for finite Heyting algebras
- Stone Lattices. I: Construction Theorems
- Stone Lattices. II. Structure Theorems
- Stonesche Verbände der Ordnung \(n\) und Postalgebren
- Undecidability of Some Topological Theories
This page was built for publication: The decidability of some classes of Stone algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q412007)