B-varieties with normal free algebras (Q921027): Difference between revisions

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.