The author continues his studies of so-called B-algebras [see: Demonstr. Math. 15, 189-206 (1982; Zbl 0504.03024); Stud. Logica 42, 389-405 (1983; Zbl 0588.06007); Stud. Logica 45, 167-179 (1986; Zbl 0619.03041)]. Basically, a B-algebra abstracts the description of a topological Boolean algebra in terms of the binary operation \(a\circ b:=int((a\cap b)\cup (- a\cap -b))\) given by \textit{J. Kagan} [Z. Math. Logik Grundlagen Math. 18, 103-106 (1972; Zbl 0246.02045)]. Here, the present author studies varieties of such algebras axiomatizedby \(SCI_ B\)-equations (an acronym for the Boolean strengthening of Sentential Calculus with Identity) and proves - among other things - that the free Lindenbaum-Tarski algebra in such a variety is normal provided the generalization to B-algebras of a theorem by McKinsey and Tarski for topological Boolean algebras holds in that variety.
- An Axiomatization of Topological Boolean Algebras
- Equational logic and theories in sentential languages
- scientific article; zbMATH DE number 3482305 (Why is no real title available?)
- Q-ultrafilters and normal ultrafilters in B-algebras
- Some theorems about the sentential calculi of Lewis and Heyting
- The algebra of topology
- The theory of Boolean algebras with an additional binary operation
This page was built for publication: B-varieties with normal free algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q921027)
