Results 41 to 50 of about 176 (149)
Untyping Typed Algebras and Colouring Cyclic Linear Logic [PDF]
Logical Methods in Computer Science, 2012 We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations.
Damien Pous
doaj +1 more source
Folding Theory Applied to Residuated Lattices
International Journal of Mathematics and Mathematical Sciences, 2014 Residuated lattices play an important role in the study of fuzzy logic based on t-norms. In this paper, we introduce some notions of n-fold filters in residuated lattices, study the relations among them, and compare them with prime, maximal and primary ...
Albert Kadji +3 more
doaj +1 more source
n-Fold Fantastic and n-Fold Involutive Ideals in Bounded Commutative Residuated Lattices
Discussiones Mathematicae - General Algebra and Applications, 2022 In this paper, we introduce the concepts of n-fold obstinate ideals, n-fold normal ideals, n-fold fantastic ideals and n-fold involutive ideals in residuated lattices, state and prove some of their properties.
Yinga Fabrice Tchoua +2 more
doaj +1 more source
Integrally Closed Residuated Lattices [PDF]
Studia Logica, 2019 A residuated lattice is defined to be integrally closed if it satisfies the equations x\x = e and x/x = e. Every integral, cancellative, or divisible residuated lattice is integrally closed, and, conversely, every bounded integrally closed residuated lattice is integral.
José Gil-Férez +2 more
openaire +3 more sources
Mp- and purified residuated lattices
Soft Computing, 2022 Abstract In this paper, a combination of algebraic and topological methods is applied to obtain new and structural results on mp and purified residuated lattices. It is demonstrated that mp-residuated lattices strongly tied up with the dual hull-kernel topology.
Saeed Rasouli, Amin Dehghani
openaire +1 more source
Lifting Elements in Coherent Quantales [PDF]
Transactions on Fuzzy Sets and Systems, 2022 An ideal I of a ring R is a lifting ideal if the idempotents of R can be lifted modulo I. A rich literature has been dedicated to lifting ideals. Recently, new algebraic and topological results on lifting ideals have been discovered.
George Georgescu
doaj +1 more source
Archimedean Residuated Lattices
Annals of the Alexandru Ioan Cuza University - Mathematics, 2010 Summary: For a residuated lattice \(A\) we denote by \(D_s(A)\) the lattice of all deductive systems (congruence filters) of \(A\). The aim of this paper is to put in evidence new characterizations for maximal and prime elements of \(D_s(A)\) and to characterize Archimedean and hyperarchimedean residuated lattices; so we prove some theorems of Nachbin ...
Buşneag, Dumitru +2 more
openaire +1 more source
Some decompositions of filters in residuated lattices
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019 In this paper we introduce a new class of residuated lattice: residuated lattice with (C∧&→) property and we prove that (C∧&→) ⇔ (C→) + (C∧).Also, we introduce and characterize C→, C∨, C∧ and C∧ & → filters in residuated lattices (i.e., we characterize ...
Piciu Dana +2 more
doaj +1 more source
Kernels of Residuated Maps as Complete Congruences in Lattices
International Journal of Computational Intelligence Systems, 2020 In a context of lattice-valued functions (also called lattice-valued fuzzy sets), where the codomain is a complete lattice L, an equivalence relation defined on L by the equality of related cuts is investigated.
Branimir Šešelja, Andreja Tepavčević
doaj +1 more source
Attribute Implication Bases From Galois Connection Structures
Mathematical Methods in the Applied Sciences, Volume 49, Issue 4, Page 2729-2753, 15 March 2026.ABSTRACT Modeling knowledge systems by determining relationships among key variables have been and currently is a fundamental and nontrivial challenge in real‐world scenarios. Many approaches have been developed to reach this goal, but many of them are heuristic and require of alternative procedures to provide robust and tractable rules.
M. Eugenia Cornejo +2 more
wiley +1 more source