Results 41 to 50 of about 1,868 (178)
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
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 +4 more sources
Journal of Mathematics, Volume 2022, Issue 1, 2022., 2022 The main goal of this paper is to introduce and investigate the related theory on monadic effect algebras. First, we design the axiomatic system of existential quantifiers on effect algebras and then use it to give the definition of the universal quantifier and monadic effect algebras.
Yuxi Zou, Xiaolong Xin, Li Guo
wiley +1 more source
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
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
Certain Concepts of Q‐Hesitant Fuzzy Ideals
Journal of Function Spaces, Volume 2022, Issue 1, 2022., 2022 The hesitant fuzzy set model has attracted the interest of scholars in various fields. The striking framework of hesitant fuzzy sets is keen to provide a larger domain of preference for fuzzy information modeling of deployment membership. Starting from the hybrid properties of hesitant fuzzy ideals (HFI), this paper constructs a new generalized hybrid ...
Lubna Abdul Aziz Alleheb +2 more
wiley +1 more source
Residuated Structures and Orthomodular Lattices [PDF]
Studia Logica, 2021 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.
fazio, davide +2 more
openaire +3 more sources
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
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
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