Publication:1073065

DOI10.1007/BF00403339zbMATH Open0588.08009OpenAlexW161795538MaRDI QIDQ1073065FDOQ1073065

W. 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 algebrasquasivarietiestopological Boolean algebrasfinite algebrasfinitely axiomatizable

Mathematics Subject Classification ID

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

Cites Work

• Matrix approach in methodology of sentential calculi
• Finite equational bases for finite algebras in a congruence-distributive equational class
• 2-element matrices
• A Note on the Implicational Class Generated by a Class of Structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• 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
• Profinite locally finite quasivarieties
• A note on well-generated Boolean algebras in models satisfying Martin's axiom
• 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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1073065)