The Tensor PMV-algebra of an MV-algebra

Author(s):  
Ioana Leustean
Keyword(s):  
2021 ◽  
pp. 1-12
Author(s):  
Simin Saidi Goraghani ◽  
Rajab Ali Borzooei ◽  
Sun Shin Ahn

In recent years, A. Di Nola et al. studied the notions of MV-semiring and semimodules and investigated related results [9, 10, 12, 26]. Now in this paper, by using an MV-semiring and an MV-algebra, we introduce the new definition of MV-semimodule, study basic properties and find some examples. Then we study A-ideals on MV-semimodules and Q-ideals on MV-semirings, and by using them, we study the quotient structures of MV-semimodule. Finally, we present the notions of prime A-ideal, torsion free MV-semimodule and annihilator on MV-semimodule and we study the relations among them.


2007 ◽  
Vol 47 (1) ◽  
pp. 223-235 ◽  
Author(s):  
Paul Ballonoff
Keyword(s):  

2014 ◽  
Vol 2014 ◽  
pp. 1-7 ◽  
Author(s):  
Xiao-Long Xin ◽  
Pu Wang

We define the notions of Bosbach states and inf-Bosbach states on a bounded hyper BCK-algebra(H,∘,0,e)and derive some basic properties of them. We construct a quotient hyper BCK-algebra via a regular congruence relation. We also define a∘-compatibledregular congruence relationθand aθ-compatibledinf-Bosbach stateson(H,∘,0,e). By inducing an inf-Bosbach states^on the quotient structureH/[0]θ, we show thatH/[0]θis a bounded commutative BCK-algebra which is categorically equivalent to an MV-algebra. In addition, we introduce the notions of hyper measures (states/measure morphisms/state morphisms) on hyper BCK-algebras, and present a relation between hyper state-morphisms and Bosbach states. Then we construct a quotient hyper BCK-algebraH/Ker(m)by a reflexive hyper BCK-idealKer(m). Further, we prove thatH/Ker(m)is a bounded commutative BCK-algebra.


2007 ◽  
Vol 40 (4) ◽  
Author(s):  
I. Chajda ◽  
R. Halaš ◽  
J. Kühr
Keyword(s):  

2021 ◽  
Author(s):  
Masoud Haveshki

Abstract We define the essential extension of a filter in the residuated lattice A associated to an ideal of L(A) and investigate its related properties. We prove the residuated lattice A is a Boolean algebra, G(RL)-algebra or MV -algebra if and only if the essential extension of {1} associated to A \ P is a Boolean filter, G-filter or MV -filter (for all P ∈ SpecA), respectively. Also, some properties of lattice of essential extensions are studied.


Author(s):  
F. Forouzesh ◽  
E. Eslami ◽  
A. Borumand Saeid

Abstract In this paper, we introduce the notion of the radical of an ideal in MV - algebras. Several characterizations of this radical is given. We define the notion of a semi-maximal ideal in an MV -algebra and prove some theorems which give relations between this semi-maximal ideal and the other types of ideals in MV -algebras. Also we prove that A/I is a semi-simple MV -algebra if and only if I is a semi-maximal ideal of an MV -algebra A. The above notions are used to define the radical of A-ideals in MV -modules and investigate some properties. Mathematics Subject Classification 2010: 03B50, 03G25, 06D35


2001 ◽  
Vol 11 (3-4) ◽  
pp. 331-339 ◽  
Author(s):  
Antonio Di Nola ◽  
Brunella Gerla
Keyword(s):  

2010 ◽  
Vol 60 (1) ◽  
Author(s):  
Ivan Chajda

AbstractHaving an MV-algebra, we can restrict its binary operation addition only to the pairs of orthogonal elements. The resulting structure is known as an effect algebra, precisely distributive lattice effect algebra. Basic algebras were introduced as a generalization of MV-algebras. Hence, there is a natural question what an effect-like algebra can be reached by the above mentioned construction if an MV-algebra is replaced by a basic algebra. This is answered in the paper and properties of these effect-like algebras are studied.


2018 ◽  
Vol 68 (6) ◽  
pp. 1313-1320
Author(s):  
Ivan Chajda ◽  
Helmut Länger

Abstract It is well known that every MV-algebra can be converted into a residuated lattice satisfying divisibility and the double negation law. In a previous paper the first author and J. Kühr introduced the concept of an NMV-algebra which is a non-associative modification of an MV-algebra. The natural question arises if an NMV-algebra can be converted into a residuated structure, too. Contrary to MV-algebras, NMV-algebras are not based on lattices but only on directed posets and the binary operation need not be associative and hence we cannot expect to obtain a residuated lattice but only an essentially weaker structure called a conditionally residuated poset. Considering several additional natural conditions we show that every NMV-algebra can be converted in such a structure. Also conversely, every such structure can be organized into an NMV-algebra. Further, we study an a bit more stronger version of an algebra where the binary operation is even monotone. We show that such an algebra can be organized into a residuated poset and, conversely, every residuated poset can be converted in this structure.


Sign in / Sign up

Export Citation Format

Share Document