Results 11 to 20 of about 22,156 (198)
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.
Ciraulo, Francesco, Contente, Michele
core +4 more sources
On <i>t</i>-derivations of PMS-algebras. [PDF]
F1000ResBackground 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.
Melese Kassahun N +3 more
europepmc +2 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
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
openaire +3 more sources
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
Fuzzy n-fold obstinate ideals in mv -algebras [PDF]
Journal of Hyperstructures, 2019 . In this paper, we introduce the notion of n-fold Boolean ideals of an MV -algebra and consider the quotient algebras induced by n-fold Boolean ideals. Also we prove that I is a n-fold Boolean ideal of an MV -algebra if and only if A/I is a n+1-bounded ...
Fereshteh Forouzesh
doaj +1 more source
Duality for powerset coalgebras [PDF]
Logical Methods in Computer Science, 2022 Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from CABA to CSL has a left
Guram Bezhanishvili +2 more
doaj +1 more source
States on basic algebras [PDF]
Mathematica Bohemica, 2017 States on commutative basic algebras were considered in the literature as generalizations of states on MV-algebras. It was a natural question if states exist also on basic algebras which are not commutative.
Ivan Chajda, Helmut Länger
doaj +1 more source