We present a first order formula characterizing the distributive lattices L whose Priestley spaces P(L) contain no copy of a finite forest T . For Heyting algebras L, prohibiting a finite poset T in P(L) is characterized by equations iff T is a tree. We also give a condition characterizing the distributive lattices whose Priestley spaces contain no copy of a finite forest with a single addition...

In 1981, Kelly showed that planar posets can have arbitrarily large dimension. However, the posets in Kelly’s example have bounded Boolean dimension and bounded local dimension, leading naturally to the questions as to whether either Boolean dimension or local dimension is bounded for the class of planar posets. The question for Boolean dimension was first posed by Nešetřil and Pudlák in 1989 a...

In this note, by considering the notions of the intuitionistic general L-fuzzy automaton and $(alpha, beta)$-language, we show that for any $(alpha, beta)$-language $mathcal{L}$, there exists a minimal intuitionistic general L-fuzzy automaton recognizing $mathcal{L}$.We prove that the minimal intuitionistic general L-fuzzy automaton is isomorphic with threshold $(alpha,beta)$ to any $(alpha, be...

We generalize the concept of a strong inclusion on a biframe [Sch93] to that of a proximity on a biframe, which is related to the concept of a strong bi-inclusion on a frame introduced in [PP12b]. We also generalize the concept of a bi-compactification of a biframe [Sch93] to that of a compactification of a biframe, and prove that the poset of compactifications of a biframe L is isomorphic to t...

We consider generalizations of Schützenberger’s promotion operator on the set L of linear extensions of a finite poset. This gives rise to a strongly connected graph on L. In earlier work [AKS12], we studied promotion-based Markov chains on these linear extensions which generalizes results on the Tsetlin library. We used the theory of R-trivial monoids in an essential way to obtain explicitly t...

We develope a construction of an L-fuzzy valued measure by extending a measure defined on a σ-algebra of crisp sets to an L-fuzzy valued TM-countably additive measure defined on a TMclan of L-fuzzy sets in the case when operations for L-fuzzy sets and L-fuzzy real numbers are based on the minimum t-norm TM. Keywords— L-fuzzy set, L-fuzzy real number, L-fuzzy valued measure.

Inthispaper, (L,M)-fuzzy domain finiteness and (L,M)-fuzzy restricted hull spaces are introduced, and several characterizations of the category (L,M)-CS of (L,M)-fuzzy convex spaces are obtained. Then, (L,M)-fuzzy stratified (resp. weakly induced, induced) convex spaces are introduced. It is proved that both categories, the category (L,M)-SCS of (L,M)-fuzzy stratified convex spaces and the cate...