Results 1 to 10 of about 151 (43)
Hyper Rl-Ideals in Hyper Residuated Lattices
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
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]
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
MV-algebras freely generated by finite Kleene algebras [PDF]
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
Some decompositions of filters in residuated lattices
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
New topology in residuated lattices
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
Cevian operations on distributive lattices [PDF]
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
Folding Theory of Implicative and Obstinate Ideals in Bl-Algebras
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
Study of MV-algebras via derivations
The main goal of this paper is to give some representations of MV-algebras in terms of derivations. In this paper, we investigate some properties of implicative and difference derivations and give their characterizations in MV-algebras.
Wang Jun Tao, She Yan Hong, Qian Ting
doaj +1 more source
Almost principal ideals and tensor product of hyperlattices
In this paper, by considering the notion of congruences on hyper- lattices we define almost principal ideals on hyperlattices. We investigate some properties and prove some results about them.
Lashkenari A. Soltani, Davvaz B.
doaj +1 more source

