Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra

DOI10.1007/BF00403339zbMath0588.08009OpenAlexW161795538MaRDI QIDQ1073065

Wiesław Dziobiak

Publication date: 1982

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00403339

zbMATH Keywords

Heyting algebrasquasivarietiesfinite algebrastopological Boolean algebrasfinitely axiomatizable

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Quasivarieties (08C15) Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05)

Related Items (5)

Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities ⋮ Minimal coorder of pseudo-Boolean and topo-Boolean algebras having no finite basis of quasi-identities ⋮ Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ A finite basis theorem for quasivarieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 2-element matrices
• Matrix approach in methodology of sentential calculi
• Finite equational bases for finite algebras in a congruence-distributive equational class
• A Note on the Implicational Class Generated by a Class of Structures

This page was built for publication: Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra