scholarly journals Ideals in residuated lattices

2021 ◽  
Vol 37 (1) ◽  
pp. 53-63
Author(s):  
DUMITRU BUŞNEG ◽  
DANA PICIU ◽  
ANCA-MARIA DINA
Keyword(s):  
Fuzzy Sets ◽  
Binary Relation ◽  
Congruence Relation ◽  
Natural Generalization ◽  
Residuated Lattices ◽  
Algebraic Analysis ◽  
Deductive Systems ◽  
Mv Algebra ◽  
The Relationship ◽  
Mv Algebras

"The notion of ideal in residuated lattices is introduced in [Kengne, P. C., Koguep, B. B., Akume, D. and Lele, C., L-fuzzy ideals of residuated lattices, Discuss. Math. Gen. Algebra Appl., 39 (2019), No. 2, 181–201] and [Liu, Y., Qin, Y., Qin, X. and Xu, Y., Ideals and fuzzy ideals in residuated lattices, Int. J. Math. Learn & Cyber., 8 (2017), 239–253] as a natural generalization of that of ideal in MV algebras (see [Cignoli, R., D’Ottaviano, I. M. L. and Mundici, D., Algebraic Foundations of many-valued Reasoning, Trends in Logic-Studia Logica Library 7, Dordrecht: Kluwer Academic Publishers, 2000] and [Chang, C. C., Algebraic analysis of many-valued logic, Trans. Amer. Math. Soc., 88 (1958), 467–490]). If A is an MV algebra and I is an ideal on A then the binary relation x ∼I y iff x^{*}Ꙩ y; x Ꙩy^{*} ∈ I , for x; y ∈ A; is a congruence relation on A. In this paper we find classes of residuated lattices for which the relation ∼ I (defined for MV algebras) is a congruence relation and we give new characterizations for i-ideals and prime i-ideals in residuated lattices. As a generalization of the case of BL algebras (see [Lele, C. and Nganou, J. B., MV-algebras derived from ideals in BL-algebras, Fuzzy Sets and Systems, 218 (2013), 103–113]), we investigate the relationship between i-ideals and deductive systems in residuated lattices."

scholarly journals Study of MV-algebras via derivations

2019 ◽  
Vol 27 (3) ◽  
pp. 259-278
Author(s):  
Jun Tao Wang ◽  
Yan Hong She ◽  
Ting Qian
Keyword(s):  
Boolean Algebra ◽  
Direct Product ◽  
Galois Connection ◽  
Product Representation ◽  
Mv Algebra ◽  
One To One ◽  
The Relationship ◽  
Mv Algebras ◽  
Derivation Pair

AbstractThe main goal of this paper is to give some representations of MV-algebras in terms of derivations. In this paper, we investigate some properties of implicative and difference derivations and give their characterizations in MV-algebras. Then, we show that every Boolean algebra (idempotent MV-algebra) is isomorphic to the algebra of all implicative derivations and obtain that a direct product representation of MV-algebra by implicative derivations. Moreover, we prove that regular implicative and difference derivations on MV-algebras are in one to one correspondence and show that the relationship between the regular derivation pair (d, g) and the Galois connection, where d and g are regular difference and implicative derivation on L, respectively. Finally, we obtain that regular difference derivations coincide with direct product decompositions of MV-algebras.

scholarly journals Loomis-sikorski theorem for σ-complete MV-algebras and ℓ-groups

2000 ◽  
Vol 68 (2) ◽  
pp. 261-277 ◽  
Author(s):  
Anatolij Dvurečenskij
Keyword(s):  
Fuzzy Sets ◽  
Homomorphic Image ◽  
Representation Theorem ◽  
Strong Unit ◽  
Direct Generalization ◽  
Mv Algebra ◽  
Mv Algebras

AbstractWe show that every σ-complete MV-algebra is an MV-σ-homomorphic image of some σ-complete MV- algebra of fuzzy sets, called a tribe, which is a system of fuzzy sets of a crisp set Ω containing 1Ω and closed under fuzzy complementation and formation of min {∑nfn, 1}. Since a tribe is a direct generalization of a σ-algebra of crisp subsets, the representation theorem is an analogue of the Loomis-Sikorski theorem for MV-algebras. In addition, this result will be extended also for Dedekind σ-complete ℓ-groups with strong unit.

scholarly journals New topology in residuated lattices

2018 ◽  
Vol 16 (1) ◽  
pp. 1104-1127 ◽  
Author(s):  
L.C. Holdon
Keyword(s):  
Topological Space ◽  
Hausdorff Space ◽  
Residuated Lattice ◽  
Residuated Lattices ◽  
Discrete Space ◽  
Regular Space ◽  
Quotient Topology ◽  
Uniform Topology ◽  
The Relationship ◽  
Mv Algebras

AbstractIn this paper, by using the notion of upsets in residuated lattices and defining the operator Da(X), for an upset X of a residuated lattice L we construct a new topology denoted by τa and (L, τa) becomes a topological space. We obtain some of the topological aspects of these structures such as connectivity and compactness. We study the properties of upsets in residuated lattices and we establish the relationship between them and filters. O. Zahiri and R. A. Borzooei studied upsets in the case of BL-algebras, their results become particular cases of our theory, many of them work in residuated lattices and for that we offer complete proofs. Moreover, we investigate some properties of the quotient topology on residuated lattices and some classes of semitopological residuated lattices. We give the relationship between two types of quotient topologies τa/F and $\begin{array}{} \displaystyle \mathop {{\tau _a}}\limits^ - \end{array}$. Finally, we study the uniform topology $\begin{array}{} \displaystyle {\tau _{\bar \Lambda }} \end{array}$ and we obtain some conditions under which $\begin{array}{} \displaystyle (L/J,{\tau _{\bar \Lambda }}) \end{array}$ is a Hausdorff space, a discrete space or a regular space ralative to the uniform topology. We discuss briefly the applications of our results on classes of residuated lattices such as divisible residuated lattices, MV-algebras and involutive residuated lattices and we find that any of this subclasses of residuated lattices with respect to these topologies form semitopological algebras.

scholarly journals Rényi Entropy and Rényi Divergence in Product MV-Algebras

Entropy ◽  
2018 ◽  
Vol 20 (8) ◽  
pp. 587 ◽  
Author(s):  
Dagmar Markechová ◽  
Beloslav Riečan
Keyword(s):  
Shannon Entropy ◽  
Renyi Entropy ◽  
Rényi Entropy ◽  
Rényi Divergence ◽  
New Concepts ◽  
Leibler Divergence ◽  
Mv Algebra ◽  
The Relationship ◽  
Mv Algebras

This article deals with new concepts in a product MV-algebra, namely, with the concepts of Rényi entropy and Rényi divergence. We define the Rényi entropy of order q of a partition in a product MV-algebra and its conditional version and we study their properties. It is shown that the proposed concepts are consistent, in the case of the limit of q going to 1, with the Shannon entropy of partitions in a product MV-algebra defined and studied by Petrovičová (Soft Comput.2000, 4, 41–44). Moreover, we introduce and study the notion of Rényi divergence in a product MV-algebra. It is proven that the Kullback–Leibler divergence of states on a given product MV-algebra introduced by Markechová and Riečan in (Entropy2017, 19, 267) can be obtained as the limit of their Rényi divergence. In addition, the relationship between the Rényi entropy and the Rényi divergence as well as the relationship between the Rényi divergence and Kullback–Leibler divergence in a product MV-algebra are examined.

scholarly journals Residuated Structures and Orthomodular Lattices

Studia Logica ◽  
2021 ◽  
Author(s):  
D. Fazio ◽  
A. Ledda ◽  
F. Paoli
Keyword(s):  
Algebraic Logic ◽  
Residuated Lattices ◽  
Quantum Structures ◽  
Heyting Algebras ◽  
Quantum Algebras ◽  
Orthomodular Lattices ◽  
Lattice Of Subvarieties ◽  
Residuated Structures ◽  
Common Framework ◽  
Mv Algebras

AbstractThe variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., $$\ell $$ ℓ -groups, Heyting algebras, MV-algebras, or De Morgan monoids. Among the outliers, one counts orthomodular lattices and other varieties of quantum algebras. We suggest a common framework—pointed left-residuated $$\ell $$ ℓ -groupoids—where residuated structures and quantum structures can all be accommodated. We investigate the lattice of subvarieties of pointed left-residuated $$\ell $$ ℓ -groupoids, their ideals, and develop a theory of left nuclei. Finally, we extend some parts of the theory of join-completions of residuated $$\ell $$ ℓ -groupoids to the left-residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices.

scholarly journals States and Measures on Hyper BCK-Algebras

2014 ◽  
Vol 2014 ◽  
pp. 1-7 ◽  
Author(s):  
Xiao-Long Xin ◽  
Pu Wang
Keyword(s):  
Congruence Relation ◽  
Basic Properties ◽  
Mv Algebra ◽  
Regular Congruence ◽  
Bosbach State

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.

scholarly journals Novel Parameterized Distance Measures on Hesitant Fuzzy Sets with Credibility Degree and Their Application in Decision-Making

Symmetry ◽  
2018 ◽  
Vol 10 (11) ◽  
pp. 557 ◽  
Author(s):  
Jiaru Li ◽  
Fangwei Zhang ◽  
Qiang Li ◽  
Jing Sun ◽  
Janney Yee ◽  
...  
Keyword(s):  
Decision Making ◽  
Fuzzy Sets ◽  
Cardinal Number ◽  
Decision Makers ◽  
Distance Measures ◽  
Hesitant Fuzzy Set ◽  
Hesitant Fuzzy Sets ◽  
The Subject ◽  
The Relationship

The subject of this study is to explore the role of cardinality of hesitant fuzzy element (HFE) in distance measures on hesitant fuzzy sets (HFSs). Firstly, three parameters, i.e., credibility factor, conservative factor, and a risk factor are introduced, thereafter, a series of novel distance measures on HFSs are proposed using these three parameters. These newly proposed distance measures handle the relationship between the cardinal number and the element values of hesitant fuzzy set well, and are suitable to combine subjective and objective decision-making information. When using these functions, decision makers with different risk preferences are allowed to give different values for these three parameters. In particular, this study transfers the hesitance degree index to a credibility of the values in HFEs, which is consistent with people’s intuition. Finally, the practicability of the newly proposed distance measures is verified by two examples.

Perfect residuated lattice ordered monoids

2010 ◽  
Vol 60 (6) ◽  
Author(s):  
Jiří Rachůnek ◽  
Dana Šalounová
Keyword(s):  
Probability Measure ◽  
Residuated Lattice ◽  
Residuated Lattices ◽  
Heyting Algebras ◽  
Effect Algebras ◽  
Quantum Logics ◽  
Mv Algebras ◽  
Intuitionistic Logics

AbstractBounded Rℓ-monoids form a large subclass of the class of residuated lattices which contains certain of algebras of fuzzy and intuitionistic logics, such as GMV-algebras (= pseudo-MV-algebras), pseudo-BL-algebras and Heyting algebras. Moreover, GMV-algebras and pseudo-BL-algebras can be recognized as special kinds of pseudo-MV-effect algebras and pseudo-weak MV-effect algebras, i.e., as algebras of some quantum logics. In the paper, bipartite, local and perfect Rℓ-monoids are investigated and it is shown that every good perfect Rℓ-monoid has a state (= an analogue of probability measure).

scholarly journals Essential extensions of filters in residuated lattices

2021 ◽  
Author(s):  
Masoud Haveshki
Keyword(s):  
Boolean Algebra ◽  
Residuated Lattice ◽  
Residuated Lattices ◽  
Essential Extension ◽  
Mv Algebra ◽  
Essential Extensions

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.

Radical of a-Ideals in Mv -Modules

2014 ◽  
Vol 0 (0) ◽  
Author(s):  
F. Forouzesh ◽  
E. Eslami ◽  
A. Borumand Saeid
Keyword(s):  
Maximal Ideal ◽  
The Other ◽  
Subject Classification ◽  
Mv Algebra ◽  
Mv Algebras

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

Sign in / Sign up

Export Citation Format

Share Document