نتایج جستجو برای: divisible residuated lattice

تعداد نتایج: 96733  

In this paper, we investigate more relations between the symmetric residuated lattices $L$ with their corresponding intuitionistic fuzzy residuated lattice $tilde{L}$. It is shown that some algebraic structures of $L$ such as Heyting algebra, Glivenko residuated lattice and strict residuated lattice are preserved for $tilde{L}$. Examples are given for those structures that do not remain the sam...

The aim of this paper is to extend results established by H. Onoand T. Kowalski regarding directly indecomposable commutative residuatedlattices to the non-commutative case. The main theorem states that a residuatedlattice A is directly indecomposable if and only if its Boolean center B(A)is {0, 1}. We also prove that any linearly ordered residuated lattice and anylocal residuated lattice are d...

A. P. Singh I. Perfilieva, S. P. Tiwari

The aim of the present work is to study the  $F$-transform over a generalized residuated lattice.  We discuss the properties that are common with the $F$-transform over a residuated lattice. We show that the $F^{uparrow}$-transform can be used in establishing a fuzzy (pre)order on the set of fuzzy sets.

2006
Willem Johannes Blok C. Tsinakis A. M. Wille

We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices. The proof utilizes a construction used in the proof of the corresponding result for residuated lattices and is based on the fact that every residuated lattice with greatest element can be associated in a canonical way with an involutive residuated lattice.

2017
STEFAN E. SCHMIDT

We prove that when divisibility is added to a residuated multilattice, this causes the multilattice structure to collapse down to a residuated lattice. This motivates the study of semi-divisibility and regularity on residuated multilattices. The ordinal sum construction is also applied to residuated multilattices as a way to construct new examples of both residuated multilattices and consistent...

‎We give a simple and independent axiomatization of reticulations on residuated lattices‎, ‎which were axiomatized by five conditions in [C‎. ‎Mureşan‎, ‎The reticulation of a residuated lattice‎, ‎Bull‎. ‎Math‎. ‎Soc‎. ‎Sci‎. ‎Math‎. ‎Roumanie‎ ‎51 (2008)‎, ‎no‎. ‎1‎, ‎47--65]‎. ‎Moreover‎, ‎we show that reticulations can be considered as lattice homomorphisms between residuated lattices and b...

N. Kouhestani‎ R. A. Borzooei‎,

In this paper, we study the separtion axioms $T_0,T_1,T_2$ and $T_{5/2}$ on topological and semitopological residuated lattices and we show that they are equivalent on topological residuated lattices. Then we prove that for every infinite cardinal number $alpha$, there exists at least one nontrivial Hausdorff topological residuated lattice of cardinality $alpha$. In the follows, we obtain some ...

2014
Michel Marti George Metcalfe

A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Henne...

A. Borumand Saeid L. C. Holdon

In this paper, we study residuated lattices in order to give new characterizations for dense, regular and Boolean elements in residuated lattices and investigate special residuated lattices in order to obtain new characterizations for the directly indecomposable subvariety of Stonean residuated lattices. Free algebra in varieties of Stonean residuated lattices is constructed. We introduce in re...

Journal: :Soft Comput. 2017
Peter Jipsen

Right-residuated binars and right-divisible residuated binars are defined as precursors of generalized hoops, followed by some results and open problems about these partially ordered algebras. Next we show that all complete homomorphic images of a complete residuated lattice A can be constructed easily on certain definable subsets of A. Applying these observations to the algebras of Hajek’s Bas...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید