Monotone modal operators on bounded integral residuated lattices
نویسندگان
چکیده
منابع مشابه
Reducts and Modal Operators on Residuated Lattices
Proposition 3. If A=〈A,∧,∨, ·, \, /, 1, γ〉 is a residuated lattice with a nucleus γ, then the algebra Aγ=〈Aγ ,∧,∨γ , ·γ , \, /, γ(1)〉 is a residuated lattice, where Aγ=γ[A] and for all x, y ∈ Aγ , x ∨γ y=γ(x ∨ y) and x ·γ y=γ(x · y). For a variety V of residuated lattices with modal operators, consider V∗, the full subcategory of V consisting of those pairs 〈B, 〉 such that B generates B as a re...
متن کاملCommutative integral bounded residuated lattices with an added involution
By a symmetric residuated lattice we understand an algebra A = (A,∨,∧, ∗,→,∼, 1, 0) such that (A,∨,∧, ∗,→, 1, 0) is a commutative integral bounded residuated lattice and the equations ∼∼ x = x and ∼ (x ∨ y) =∼ x∧ ∼ y are satisfied. The aim of the paper is to investigate properties of the unary operation ε defined by the prescription εx :=∼ x → 0. We give necessary and sufficient conditions for ...
متن کاملCommutative bounded integral residuated orthomodular lattices are Boolean algebras
We show that a commutative bounded integral orthomodular lattice is residuated iff it is a Boolean algebra. This result is a consequence of [7, Theorem 7.31]; however, our proof is independent and uses other instruments.
متن کاملAn Investigation of Residuated Lattices with Modal Operators
To my loving partner, Jonathan ii ACKNOWLEDGMENTS I would like to expressly acknowledge a few people without whom I could not have written this dissertation. First and foremost, I would like to thank my advisor Constantine Tsinakis for introducing me to the topic of residuated lattices and for many engaging (mathematical) conversations. Also, I appreciate the courses that I have taken at Vander...
متن کاملNotes on “Some Properties of L-fuzzy Approximation Spaces on Bounded Integral Residuated Lattices”
In this note, we continue the works in the paper [Some properties of L-fuzzy approximation spaces on bounded integral residuated lattices", Information Sciences, 278, 110-126, 2014]. For a complete involutive residuated lattice, we show that the L-fuzzy topologies generated by a reflexive and transitive L-relation satisfy (TC)L or (TC)R axioms and the L-relations induced by two L-fuzzy topologi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematica Bohemica
سال: 2012
ISSN: 0862-7959,2464-7136
DOI: 10.21136/mb.2012.142898