Results 1 to 10 of about 130 (23)
Hyper Rl-Ideals in Hyper Residuated Lattices
Discussiones Mathematicae - General Algebra and Applications, 2022 In this paper, we introduce the notion of a (strong) hyper RL-ideal in hyper residuated lattices and give some properties and characterizations of them.
Bakhshi Mahmood
doaj +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
Pavelka-style completeness in expansions of \L ukasiewicz logic [PDF]
, 2008 An algebraic setting for the validity of Pavelka style completeness for some natural expansions of \L ukasiewicz logic by new connectives and rational constants is given.
Freytes, Hector
core +1 more source
Cevian operations on distributive lattices [PDF]
, 2019 We construct a completely normal bounded distributive lattice D in which for every pair (a, b) of elements, the set {x $\in$ D | a $\le$ b $\lor$ x} has a countable coinitial subset, such that D does not carry any binary operation - satisfying the ...
Wehrung, Friedrich
core +4 more sources
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
Folding Theory of Implicative and Obstinate Ideals in Bl-Algebras
Discussiones Mathematicae - General Algebra and Applications, 2018 In this paper, the concepts of n-fold implicative ideals and n-fold obstinate ideals in BL-algebras are introduced. With respect to this concepts, some related results are given. In particular, it is proved that an ideal is an n-fold implicative ideal if
Paad Akbar
doaj +1 more source
Lukasiewicz logic and Riesz spaces [PDF]
, 2013 We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras are ...
Di Nola, Antonio, Leustean, Ioana
core +1 more source
New topology in residuated lattices
Open Mathematics, 2018 In this paper, by using the notion of upsets in residuated lattices and defining the operator Da(X), for an upset X of a residuated lattice L we construct a new topology denoted by τa and (L, τa) becomes a topological space.
Holdon L.C.
doaj +1 more source
MV-algebras freely generated by finite Kleene algebras [PDF]
, 2013 If V and W are varieties of algebras such that any V-algebra A has a reduct U(A) in W, there is a forgetful functor U: V->W that acts by A |-> U(A) on objects, and identically on homomorphisms.
Aguzzoli, Stefano +2 more
core +1 more source
Stone duality above dimension zero: Axiomatising the algebraic theory of C(X) [PDF]
, 2016 It has been known since the work of Duskin and Pelletier four decades ago that KH^op, the category opposite to compact Hausdorff spaces and continuous maps, is monadic over the category of sets.
Marra, Vincenzo, Reggio, Luca
core +2 more sources