B-varieties with normal free algebras

DOI10.1007/BF00370207zbMath0709.06008OpenAlexW195516003MaRDI QIDQ921027

Bronisław Tembrowski

Publication date: 1989

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

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

zbMATH Keywords

free algebravarietytopological Boolean algebrasB-algebrasBoolean algebras with an additional binary operationBoolean strengthening of Sentential Calculus with Identityfree Lindenbaum-Tarski algebra

Mathematics Subject Classification ID

Free algebras (08B20) Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Varieties of lattices (06B20)

Cites Work

• Unnamed Item
• The theory of Boolean algebras with an additional binary operation
• Q-ultrafilters and normal ultrafilters in B-algebras
• The algebra of topology
• Equational logic and theories in sentential languages
• An Axiomatization of Topological Boolean Algebras
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: B-varieties with normal free algebras