ﻻ يوجد ملخص باللغة العربية
Boolean-type algebra (BTA) is investigated. A BTA is decomposed into Boolean-type lattice (BTL) and a complementation algebra (CA). When the object set is finite, the matrix expressions of BTL and CA (and then BTA) are presented. The construction and certain properties of BTAs are investigated via their matrix expression, including the homomorphism and isomorphism, etc. Then the product/decomposition of BTLs are considered. A necessary and sufficient condition for decomposition of BTA is obtained. Finally, a universal generator is provided for arbitrary finite universal algebras.
In this article we investigate the notion and basic properties of Boolean algebras and prove the Stones representation theorem. The relations of Boolean algebras to logic and to set theory will be studied and, in particular, a neat proof of completen
We present a new approach to ternary Boolean algebras in which negation is derived from the ternary operation. The key aspect is the replacement of complete commutativity by other axioms that do not require the ternary operation to be symmetric.
The article is a study of two algebraic structures, the `contrapositionally complemented pseudo-Boolean algebra (ccpBa) and `contrapositionally $vee$ complemented pseudo-Boolean algebra (c$vee$cpBa). The algebras have recently been obtained from a to
The present survey aims at being a list of Conjectures and Problems in an area of model-theoretic algebra wide open for research, not a list of known results. To keep the text compact, it focuses on structures of finite Morley rank, although the same
The Birman-Murakami-Wenzl algebra (BMW algebra) of type Dn is shown to be semisimple and free of rank (2^n+1)n!!-(2^(n-1)+1)n! over a specified commutative ring R, where n!! is the product of the first n odd integers. We also show it is a cellular al