Results 11 to 20 of about 1,784 (116)
Interval-Valued General Residuated Lattice-Ordered Groupoids and Expanded Triangle Algebras
Axioms, 2022 As an extension of interval-valued pseudo t-norms, interval-valued pseudo-overlap functions (IPOFs) play a vital role in solving interval-valued multi-attribute decision making problems.
Xiaohong Zhang, Rong Liang
doaj +1 more source
(Skew) Filters in Residuated Skew Lattices [PDF]
Scientific Annals of Computer Science, 2018 In this paper, we show the relationship between (skew) deductive system and (skew) filter in residuated skew lattices. It is shown that if a residuated skew lattice is conormal, then any skew deductive system is a skew filter under a condition and ...
R. Koohnavard, A. Borumand Saeid
doaj +1 more source
On Semitopological De Morgan Residuated Lattices [PDF]
Transactions on Fuzzy Sets and Systems, 2023 The class of De Morgan residuated lattices was introduced by L. C. Holdon (Kybernetika 54(3):443-475, 2018), recently, many mathematicians have studied the theory of ideals or filters in De Morgan residuated lattices and some of them ...
Liviu-Constantin Holdon
doaj +1 more source
Priestley duality for MV-algebras and beyond [PDF]
, 2020 We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial binary operations
Fussner, Wesley +3 more
core +4 more sources
Regular Partial Residuated Lattices and Their Filters
Mathematics, 2022 To express wider uncertainty, Běhounek and Daňková studied fuzzy partial logic and partial function. At the same time, Borzooei generalized t-norms and put forward the concept of partial t-norms when studying lattice valued quantum effect algebras. Based
Nan Sheng, Xiaohong Zhang
doaj +1 more source
A representation theorem for integral rigs and its applications to residuated lattices [PDF]
, 2015 We prove that every integral rig in Sets is (functorially) the rig of global sections of a sheaf of really local integral rigs. We also show that this representation result may be lifted to residuated integral rigs and then restricted to varieties of ...
Botero, W. J. Zuluaga +2 more
core +3 more sources
A Proof of Tarski’s Fixed Point Theorem by Application of Galois Connections [PDF]
, 2014 Two examples of Galois connections and their dual forms are considered. One of them is applied to formulate a criterion when a given subset of a complete lattice forms a complete lattice.
A. Tarski +8 more
core +1 more source
Gődel filters in residuated lattices
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2021 In this paper, in the spirit of [4], we study a new type of filters in residuated lattices : Gődel filters. So, we characterize the filters for which the quotient algebra that is constructed via these filters is a Gődel algebra and we establish the ...
Piciu Dana +2 more
doaj +1 more source
Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras [PDF]
, 2016 We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering (or directed) unification, that is, the property that for every two unifiers there is a ...
Dzik, Wojciech, Radeleczki, Sándor
core +2 more sources
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019 In this paper, we define residuated skew lattice as non-commutative generalization of residuated lattice and investigate its properties. We show that Green’s relation 𝔻 is a congruence relation on residuated skew lattice and its quotient algebra is a ...
Saeid Arsham Borumand +1 more
doaj +1 more source