Localic groups
Locally solid topological lattice-ordered groups
Locally solid Riesz spaces have been widely investigated in the past several decades; but locally solid topological lattice-ordered groups seem to be largely unexplored. The paper is an attempt to initiate a relatively systematic study of locally solid topological lattice-ordered groups. We give both Roberts-Namioka-type characterization and Fremlin-type characterization of locally solid topological lattice-ordered groups. In particular, we show that a group topology on a lattice-ordered group is...
Logics with separating sets of measures
Lower semicontinuous functions with values in a continuous lattice
It is proved that for every continuous lattice there is a unique semiuniform structure generating both the order and the Lawson topology. The way below relation can be characterized with this uniform structure. These results are used to extend many of the analytical properties of real-valued l.s.cḟunctions to l.s.cḟunctions with values in a continuous lattice. The results of this paper have some applications in potential theory.
Łukasiewicz tribes are absolutely sequentially closed bold algebras
We show that each sequentially continuous (with respect to the pointwise convergence) normed measure on a bold algebra of fuzzy sets (Archimedean -algebra) can be uniquely extended to a sequentially continuous measure on the generated Łukasiewicz tribe and, in a natural way, the extension is maximal. We prove that for normed measures on Łukasiewicz tribes monotone (sequential) continuity implies sequential continuity, hence the assumption of sequential continuity is not restrictive. This yields...
-poproduct of lattices
Mac Neille completion of centers and centers of Mac Neille completions of lattice effect algebras
If element of a lattice effect algebra is central, then the interval is a lattice effect algebra with the new top element and with inherited partial binary operation . It is a known fact that if the set of central elements of is an atomic Boolean algebra and the supremum of all atoms of in equals to the top element of , then is isomorphic to a subdirect product of irreducible effect algebras ([18]). This means that if there exists a MacNeille completion of which is its extension...
Maximal completion of a pseudo MV-algebra
In the present paper we investigate the relations between maximal completions of lattice ordered groups and maximal completions of pseudo -algebras.
Maximale Gegenketten im Verband
Meanders in lattices.
Measurability of functions with values in partially ordered spaces
Measures on coallocation and normal lattices.
Metric-fine uniform frames
A locallic version of Hager’s metric-fine spaces is presented. A general definition of -fineness is given and various special cases are considered, notably all metric frames, complete metric frames. Their interactions with each other, quotients, separability, completion and other topological properties are discussed.
Metrics and tolerances
Métriques bornées définies par des valuations sur un demi-treillis
Metrizable completely distributive lattices
The purpose of this paper is to study the topological properties of the interval topology on a completely distributive lattice. The main result is that a metrizable completely distributive lattice is an ANR if and only if it contains at most finite completely compact elements.
Metrization of uniform lattices
Minimal algebras in some class of algebras
Minimal bounded lattices with an antitone involution the complemented elements of which do not form a sublattice
Bounded lattices with an antitone involution the complemented elements of which do not form a sublattice must contain two complemented elements such that not both their join and their meet are complemented. We distinguish (up to symmetry) eight cases and in each of these cases we present such a lattice of minimal cardinality.
Minimal compatible tolerances on lattices