The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varep...

We prove strong completeness of a range of substructural logics with respect to their relational semantics by completeness-via-canonicity. Specifically, we use the topological theory of canonical (in) equations in distributive lattice expansions to show that distributive substructural logics are strongly complete with respect to their relational semantics. By formalizing the problem in the lang...

Algebraic properties of lattices of quotients of nite posets are considered. Using the known duality between the category of all nite posets together with all order-preserving maps and the category of all nite distributive (0; 1)-lattices together with all (0; 1)-lattice ho-momorphisms, algebraic and arithmetic properties of maximal proper sublattices and, in particular, Frattini sublattices of...

According to Chajda and Eigenthaler ([1]), a d-lattice is a bounded lattice L satisfying for all a, c ∈ L the implications (i) (a, 1) ∈ θ(0, c) → a ∨ c = 1; (ii) (a, 0) ∈ θ(1, c) → a ∧ c = 0; where θ(x, y) denotes the least congruence on L containing the pair (x, y). Every bounded distributive lattice is a d-lattice. The 5-element nonmodular lattice N 5 is a d-lattice. Theorem 1 A bounded latti...

A complemented modular lattice L is coordinatizable, if it is isomorphic to the lattice L(R) of principal right ideals of some von Neumann regular ring R. All known sufficient conditions for coordinatizability, due first to J. von Neumann, then to B. Jónsson, are first-order. Nevertheless, we prove that coordinatizability of complemented modular lattices is not firstorder, even for countable 2-...

in this paper, countable compactness and the lindel¨of propertyare defined for l-fuzzy sets, where l is a complete de morgan algebra. theydon’t rely on the structure of the basis lattice l and no distributivity is requiredin l. a fuzzy compact l-set is countably compact and has the lindel¨ofproperty. an l-set having the lindel¨of property is countably compact if andonly if it is fuzzy compact. ...

Canonical extensions of lattice ordered algebras provide an algebraic formulation of what is otherwise treated via topological duality or relational methods. They were firstly introduced by Jónsson and Tarski for Boolean algebras with operators (see [8] and [9]) and generalized for distributive lattices with different operations in [5], [4] and [3]. If A = (A, {fi, i ∈ I}) is a distributive lat...

A distributive lattice L with 0 is finitary if every interval is finite. A function f : N0 ! N0 is a cover function for L if every element with n lower covers has f ðnÞ upper covers. All non-decreasing cover functions have been characterized by the author ([2]), settling a 1975 conjecture of Richard P. Stanley. In this paper, all finitary distributive lattices with cover functions are character...

It is well known that the set of all ideals(2) of a ring forms a complete modular lattice with respect to set inclusion. The same is true of the set of all right ideals. Our purpose in this paper is to consider the consequences of imposing certain additional restrictions on these ideal lattices. In particular, we discuss the case in which one or both of these lattices is complemented, and the c...