In this paper the author gives necessary and sufficient conditions under which to a stable weak isometry f in a directed group G there exists a direct decomposition G = A × B of G such that f(x) = x(A) − x(B) for each x ∈ G. Further, some results on weak isometries in partially ordered groups are established. Isometries in an abelian lattice ordered group (l-group) have been introduced and inve...

This lecture—based on the author's book, General Lattice Theory , Birkhäuser Verlag, 1978—briefly introduces the basic concepts of lattice theory, as needed for the lecture " Some combinatorial aspects of congruence lattice representations ". 1.1. Posets. A partially ordered set A; ≤≤ consists of a nonvoid set A and a binary relation ≤ on A such that the relation ≤ satisfies properties (P1)–(P3...

We reconstruct orthoalgebras from their partially ordered set of Boolean subalgebras, and characterize partially ordered sets of this form, using a new notion of a direction. For Boolean algebras, this reconstruction is functorial, and nearly an equivalence.

the aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. all values aretaken in a fixed frame $l$. a definition of (strongly) completelydistributive $l$-ordered sets is introduced. the main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $l$-ordereds...

The COCOLOG (Conditional Observer and Controller Logic) system is a partially ordered family of rst order logical theories expressed in the typed rst order languages fL k ; k 0g describing the controlled evolution of the state of a given partially observed nite machine M. The initial theory of the system, denoted Th 0 , gives the theory of M with no data being given on the initial state. Later ...

an efficient flood alarm system may significantly improve public safety and mitigate damages caused by inundation. flood forecasting is undoubtedly a challenging field of operational hydrology and a huge literature has been developed over the years. in this paper, we first define ordered ideal intuitionistic fuzzy sets and establish some results on them. then, we define similarity measures betw...