Results 21 to 30 of about 3,079 (232)
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
Boolean Algebras in Visser Algebras [PDF]
Notre Dame Journal of Formal Logic, 2016 We generalize the double negation construction of Boolean algebras in Heyting algebras, to a double negation construction of the same in Visser algebras (also known as basic algebras). This result allows us to generalize Glivenko’s Theorem from intuitionistic propositional logic and Heyting algebras to Visser’s basic propositional logic and Visser ...
Majid Alizadeh +2 more
openaire +2 more sources
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
A Category of Ordered Algebras Equivalent to the Category of Multialgebras
Bulletin of the Section of Logic, 2023 It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (\(\textit{CABA}\)s) taking a set to its power-set and, conversely, a complete, atomic Boolean algebra to its set of atomic elements.
Marcelo Esteban Coniglio +1 more
doaj +1 more source
Atom structures of cylindric algebras and relation algebras [PDF]
, 1997 Accepted ...
Hodkinson, I, Hodkinson, Ian
core +1 more source
Amalgamation Property in the subvarieties of Gautama and Almost Gautama Algebras [PDF]
Journal of Mahani Mathematical ResearchGautama algebras were introduced in 2022, as a common generalization of regular double Stone algebras and regular Kleene Stone algebras. Even more recently, Gautama algebras were further generalized to Almost Gautama algebras (AG for short).
Juan M. Cornejo +1 more
doaj +1 more source
On Implicative Derivations of MTL-Algebras
Axioms, 2022 This paper introduces the implicative derivations and gives some of their characterizations on MTL-algebras. Furthermore, we provide some representation of MTL-algebras by implicative derivations and obtain some representation of Boolean algebra via the ...
Jianxin Liu +3 more
doaj +1 more source
Discrete Mathematics, 1974 AbstractStudies of various algebraic structures which can be defined over a Boolean algebra by means of Boolean operations have been made by Bernstein [1, 2], Cunkle [3], Elliott [4], Frink [6, 7], Grätzer [8], Grätzer and Schmidt [9], Rudeanu [10, 11], Vaidyanathaswamy [12], Wiener [13], and others.
C. H. Cunkle, Sergiu Rudeanu
openaire +2 more sources
On Semi-Boolean-Like Algebras [PDF]
, 2013 summary:In a previous paper, we introduced the notion of Boolean-like algebra as a generalisation of Boolean algebras to an arbitrary similarity type. In a nutshell, a double-pointed algebra $\mathbf {A}$ with constants $0,1$ is Boolean-like in case for ...
Ledda, Antonio +7 more
core +1 more source