scholarly journals Nilpotent Elements of Residuated Lattices

2012 ◽  
Vol 2012 ◽  
pp. 1-9 ◽  
Author(s):  
Shokoofeh Ghorbani ◽  
Lida Torkzadeh
Keyword(s):  
Residuated Lattice ◽  
Residuated Lattices ◽  
Nilpotent Elements ◽  
Mv Algebras

Some properties of the nilpotent elements of a residuated lattice are studied. The concept of cyclic residuated lattices is introduced, and some related results are obtained. The relation between finite cyclic residuated lattices and simple MV-algebras is obtained. Finally, the notion of nilpotent elements is used to define the radical of a residuated lattice.

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 Injective and projective semimodules over involutive semirings

2021 ◽  
pp. 2250182
Author(s):  
Peter Jipsen ◽  
Sara Vannucci
Keyword(s):  
Crucial Role ◽  
Residuated Lattice ◽  
Residuated Lattices ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Term Equivalence ◽  
Involutive Residuated Lattice ◽  
Necessary And Sufficient ◽  
Mv Algebras

We show that the term equivalence between MV-algebras and MV-semirings lifts to involutive residuated lattices and a class of semirings called involutive semirings. The semiring perspective leads to a necessary and sufficient condition for the interval [Formula: see text] to be a subalgebra of an involutive residuated lattice, where [Formula: see text] is the dualizing element. We also import some results and techniques of semimodule theory in the study of this class of semirings, generalizing results about injective and projective MV-semimodules. Indeed, we note that the involution plays a crucial role and that the results for MV-semirings are still true for involutive semirings whenever the Mundici functor is not involved. In particular, we prove that involution is a necessary and sufficient condition in order for projective and injective semimodules to coincide.

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 Laterally complete and projective hulls of semilinear residuated lattices

10.29007/mmts ◽  
2018 ◽  
Author(s):  
José Gil-Férez ◽  
Antonio Ledda ◽  
Constantine Tsinakis
Keyword(s):  
Wide Class ◽  
Existence And Uniqueness ◽  
Residuated Lattice ◽  
Direct Limit ◽  
Residuated Lattices ◽  
Double Negation ◽  
Vector Lattices ◽  
Complete Vector ◽  
The Given ◽  
Mv Algebras

The existence of lateral completions of ℓ-groups is an old problem that was first solved, for conditionally complete vector lattices, by Nakano. The existence and uniqueness of lateral completions of representable ℓ-groups was first obtained as a consequence of the orthocompletions of Bernau, and later the proofs were simplified by Conrad, who also proved the existence and uniqueness of lateral completions of ℓ-groups with zero radical. Finally, Bernau solved the problem for ℓ-groups in general.In this work, we address the problem of the existence and uniqueness of lateral, projectable, and strongly projectable completions of residuated lattices. In particular, we push the methods of Conrad through to the case of the representable GMV-algebras.The leading idea is to construct, for any given semilinear residuated lattice, an orthocomplete extension such that the former is dense in the latter. This extension is obtained as the direct limit of a family of residuated lattices that are constructed using maximal partitions of the algebra of polars of the original residuated lattice.In order to complete the proof we still need another hypothesis, which is an abstraction of the condition of double negation in which commutativity and integrality have been dropped, and determines the wide class of Generalized MV-algebras. This, together with the density, allows us to obtain the completions of the given residuated lattice.

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 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.

scholarly journals Left residuated lattices induced by lattices with a unary operation

2019 ◽  
Vol 24 (2) ◽  
pp. 723-729
Author(s):  
Ivan Chajda ◽  
Helmut Länger
Keyword(s):  
Orthomodular Lattice ◽  
Residuated Lattice ◽  
Unary Operation ◽  
Residuated Lattices ◽  
Boolean Algebras ◽  
Natural Question ◽  
Similar Technique ◽  
Orthomodular Lattices

Abstract In a previous paper, the authors defined two binary term operations in orthomodular lattices such that an orthomodular lattice can be organized by means of them into a left residuated lattice. It is a natural question if these operations serve in this way also for more general lattices than the orthomodular ones. In our present paper, we involve two conditions formulated as simple identities in two variables under which this is really the case. Hence, we obtain a variety of lattices with a unary operation which contains exactly those lattices with a unary operation which can be converted into a left residuated lattice by use of the above mentioned operations. It turns out that every lattice in this variety is in fact a bounded one and the unary operation is a complementation. Finally, we use a similar technique by using simpler terms and identities motivated by Boolean algebras.

scholarly journals Residuation in non-associative MV-algebras

2018 ◽  
Vol 68 (6) ◽  
pp. 1313-1320
Author(s):  
Ivan Chajda ◽  
Helmut Länger
Keyword(s):  
Binary Operation ◽  
Residuated Lattice ◽  
Natural Question ◽  
Natural Conditions ◽  
Double Negation ◽  
Mv Algebra ◽  
Residuated Poset ◽  
Double Negation Law ◽  
Mv Algebras

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.

State hyperstructures of tree automata based on lattice-valued logic

2018 ◽  
Vol 52 (1) ◽  
pp. 23-42 ◽  
Author(s):  
Maryam Ghorani
Keyword(s):  
Residuated Lattice ◽  
Residuated Lattices ◽  
The Other ◽  
Equivalence Relations ◽  
Tree Automaton ◽  
Tree Automata ◽  
Other Hand ◽  
Complete Residuated Lattice ◽  
The Creation ◽  
The Given

In this paper, an association is organized between the theory of tree automata on one hand and the hyperstructures on the other hand, over complete residuated lattices. To this end, the concept of order of the states of a complete residuated lattice-valued tree automaton (simply L-valued tree automaton) is introduced along with several equivalence relations in the set of the states of an L-valued tree automaton. We obtain two main results from this study: one of the relations can lead to the creation of Kleene’s theorem for L-valued tree automata, and the other one leads to the creation of a minimal v-valued tree automaton that accepts the same language as the given one.

On ideals of residuated lattices

2021 ◽  
pp. 1-11
Author(s):  
Yan Yan Dong ◽  
Jun Tao Wang
Keyword(s):  
Residuated Lattice ◽  
Lattice Structure ◽  
Residuated Lattices ◽  
The Ideal

In this paper, we first point out some mistakes in [12]. Especially the Theorem 3.9 [12] showed that: Let A be residuated lattice and ∅ ≠ X ⊆ A, then the least ideal containing X can be expressed as: 〈X〉 = {a ∈ A|a ≤ (·· · ((x1 ⊕ x2) ⊕ x3) ⊕ ·· ·) ⊕ xn, xi ∈ X, i = 1, 2 ·· · , n}. But we present an example to illustrate the ideal generation formula may not hold on residuated lattices. Further we give the correct ideal generation formula on residuated lattices. Moreover, we extend the concepts of annihilators and α-ideals to MTL-algebras and focus on studying the relations between them. Furthermore, we show that the set Iα (M) of all α-ideals on a linear MTL-algebra M only contains two trivial α-ideals {0} and M. However, the authors [24] studied the structure of Iα (M) in a linear BL-algebra M, which means some results with respect to Iα (M) given in [24] are trivial. Unlike that, we investigate the lattice structure of Iα (M) on general MTL-algebras.

Sign in / Sign up

Export Citation Format

Share Document