نتایج جستجو برای: non saturated lattices

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

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: :Inf. Sci. 2016
Vilém Vychodil

In this paper we extend our previous results on sets of graded attribute implications with witnessed non-redundancy. We assume finite residuated lattices as structures of truth degrees and use arbitrary idempotent truth-stressing linguistic hedges as parameters which influence the semantics of graded attribute implications. In this setting, we introduce algorithm which transforms any set of gra...

Journal: :Discrete Mathematics 2015

Journal: :Israel Journal of Mathematics 2019

Journal: :Transactions of the American Mathematical Society 1939

Journal: :Physical Review D 2018

Journal: :Journal of Cosmology and Astroparticle Physics 2007

2010
Radim Belohlavek Vilem Vychodil

We present the numbers of all non-isomorphic residuated lattices with up to 12 elements and a link to a database of these lattices. In addition, we explore various characteristics of these lattices such as the width, length, and various properties considered in the literature and provide the corresponding statistics. We also present algorithms for computing finite lattices and finite residuated...

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 ...

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

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