Isometries of multilattice groups
Join-semilattices whose sections are residuated po-monoids
We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section...
Konvexe gerichtete Untergruppen der Rieszschen Gruppen
Lattice effect algebras densely embeddable into complete ones
An effect algebraic partial binary operation defined on the underlying set uniquely introduces partial order, but not conversely. We show that if on a MacNeille completion of there exists an effect algebraic partial binary operation then need not be an extension of . Moreover, for an Archimedean atomic lattice effect algebra we give a necessary and sufficient condition for that existing on is an extension of defined on . Further we show that such extending exists at most...
Lattice socles and radicals described by a Galois connnection
Lattices of lower finite breadth.
Lattices of relative colour-families and antivarieties
We consider general properties of lattices of relative colour-families and antivarieties. Several results generalise the corresponding assertions about colour-families of undirected loopless graphs, see [1]. Conditions are indicated under which relative colour-families form a lattice. We prove that such a lattice is distributive. In the class of lattices of antivarieties of relation structures of finite signature, we distinguish the most complicated (universal) objects. Meet decompositions in lattices...
Lattices of Scott-closed sets
A dcpo is continuous if and only if the lattice of all Scott-closed subsets of is completely distributive. However, in the case where is a non-continuous dcpo, little is known about the order structure of . In this paper, we study the order-theoretic properties of for general dcpo’s . The main results are: (i) every is C-continuous; (ii) a complete lattice is isomorphic to for a complete semilattice if and only if is weak-stably C-algebraic; (iii) for any two complete semilattices...
Lattices with a third distributive operation
Le spectre d'un anneau dans l'algèbre constructive et applications à la dimension
Lexicographic extensions of dually residuated lattice ordered monoids
Dually residuated lattice ordered monoids (-monoids) are common generalizations of, e.g., lattice ordered groups, Brouwerian algebras and algebras of logics behind fuzzy reasonings (-algebras, -algebras) and their non-commutative variants (-algebras, pseudo -algebras). In the paper, lex-extensions and lex-ideals of -monoids (which need not be commutative or bounded) satisfying a certain natural condition are studied.
Lex-ideals of DR-monoids and GMV-algebras
Linear Congruences in Distributive Lattices
Linear finitely separated objects of subcategories of domains
Lines in directed distributive multilattices
Local bounded commutative residuated -monoids
Bounded commutative residuated lattice ordered monoids (-monoids) are a common generalization of, e.g., -algebras and Heyting algebras. In the paper, the properties of local and perfect bounded commutative -monoids are investigated.
Local enrichments of categories
Local polynomial functions on lattices and universal algebras
Localic completion of generalized metric spaces I.
Localic Katětov-Tong insertion theorem and localic Tietze extension theorem
In this paper, localic upper, respectively lower continuous chains over a locale are defined. A localic Katětov-Tong insertion theorem is given and proved in terms of a localic upper and lower continuous chain. Finally, the localic Urysohn lemma and the localic Tietze extension theorem are shown as applications of the localic insertion theorem.