Results 11 to 20 of about 3,079 (232)
EPiC Series in Computing, 2013 Using Vaggione's concept of central element in a double pointed algebra, weintroduce the notion of Boolean like variety as a generalisation ofBoolean algebras to an arbitrary similarity type. Appropriately relaxing therequirement that every element be central in any member of the variety, weobtain the more general class of semi-Boolean like varieties ...
Salibra, A +3 more
core +8 more sources
On t-derivations of PMS-algebras [version 1; peer review: 2 approved] [PDF]
F1000ResearchBackground PMS algebras are a type of algebraic structure that has been studied extensively in recent years. They are a generalization of several other algebraic structures, such as Boolean algebras and MV-algebras.
Zelalem Teshome Wale +3 more
doaj +2 more sources
Advances in Applied Mathematics, 2002 53 pages, 8 Postscript figures, Uses ajour.sty from Academic Press, To appear in Advances in Applied ...
Hardy, Michael
openaire +3 more sources
Complexity of Boolean algebras
Theoretical Computer Science, 1980 AbstractWe show that the elementary theory of Boolean algebras is ⩽log-complete for the Berman complexity class ...
Kozen, Dexter
openaire +2 more sources
Journal of Mathematical and Fundamental Sciences, 2014 A C- algebra is the algebraic form of the 3-valued conditional logic, which was introduced by F. Guzman and C.C. Squier in 1990. In this paper, some equivalent conditions for a C- algebra to become a boolean algebra in terms of congruences are given.
Guddati C. Rao, Perumali Sundarayya
doaj +3 more sources
On Quantum-MV algebras - Part II: Orthomodular Lattices, Softlattices and Widelattices [PDF]
Transactions on Fuzzy Sets and Systems, 2022 Orthomodular lattices generalize the Boolean algebras; they have arisen in the study of quantum logic. Quantum-MV algebras were introduced as non-lattice theoretic generalizations of MV algebras and as non-idempotent generalizations of ...
Afrodita Iorgulescu
doaj +1 more source
Boolean Algebras with Semigroup Operators: Free Product and Free Objects
Journal of Mathematics, 2023 Two important algebraic structures are S-acts and Boolean algebras. Combining these two structures, one gets S-Boolean algebras, equipped with a compatible right action of a monoid S which is a special case of Boolean algebras with operators.
H. Barzegar
doaj +1 more source
Mutually Exclusive Nuances of Truth in Moisil Logic [PDF]
Scientific Annals of Computer Science, 2015 Moisil logic, having as algebraic counterpart Łukasiewicz-Moisil algebras, provides an alternative way to reason about vague information based on the following principle: a many-valued event is characterized by a family of Boolean events.
D. Diaconescu, I. Leuștean
doaj +1 more source
Overlap Algebras: a Constructive Look at Complete Boolean Algebras [PDF]
Logical Methods in Computer Science, 2020 The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set.
Francesco Ciraulo, Michele Contente
doaj +1 more source
Quasi-Algebras versus Regular Algebras - Part I [PDF]
Scientific Annals of Computer Science, 2015 Starting from quasi-Wajsberg algebras (which are generalizations of Wajsberg algebras), whose regular sets are Wajsberg algebras, we introduce a theory of quasi-algebras versus, in parallel, a theory of regular algebras.
A. Iorgulescu
doaj +1 more source