Results 51 to 60 of about 427,892 (185)
Join-semilattices whose sections are residuated po-monoids [PDF]
, 2008 summary:We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a {\it sectionally residuated semilattice ...
Chajda, Ivan, Kühr, Jan
core +1 more source
Involutive Commutative Residuated Lattice without Unit: Logics and Decidability [PDF]
, 2023 We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the Genzten-style sequent
Zhan, Hao +3 more
core +1 more source
The pure spectrum of a residuated lattice
, 2022 This paper studies a fascinating type of filter in residuated lattices, the so-called pure filters. A combination of algebraic and topological methods on the pure filters of a residuated lattice is applied to obtain some new structural results.
Rasouli, Saeed, Dehghani, Amin
core
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
Open Mathematics, 2020 In this paper, by using the ideal theory in residuated lattices, we construct the prime and maximal spectra (Zariski topology), proving that the prime and maximal spectra are compact topological spaces, and in the case of De Morgan residuated lattices ...
Holdon Liviu-Constantin
doaj +1 more source
The connection of hyper lattice implication algebras and related hyper algebras [PDF]
Journal of Hyperstructures, 2016 In this paper, we de ne the concepts of (good) con- gruences and strong congruences on hyper lattice implication alge- bras and use them to construct quotient hyper lattice implication algebras.
Shokoofeh Ghorbani
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
An investigation on the $n$-fold IVRL-filters in triangle algebras [PDF]
Mathematica Bohemica, 2020 The present study aimed to introduce $n$-fold interval valued residuated lattice (IVRL for short) filters in triangle algebras. Initially, the notions of $n$-fold (positive) implicative IVRL-extended filters and $n$-fold (positive) implicative triangle ...
Saeide Zahiri, Arsham Borumand Saeid
doaj +1 more source
Weak Inflationary BL-Algebras and Filters of Inflationary (Pseudo) General Residuated Lattices
Mathematics, 2022 After the research on naBL-algebras gained by the non-associative t-norms and overlap functions, inflationary BL-algebras were also studied as a recent kind of non-associative generalization of BL-algebras, which can be obtained by general overlap ...
Xiaohong Zhang +2 more
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