The purpose of this paper is to study conditions under which the restriction of a certain Galois connection on a complete lattice yields an isomorphism from a set of prime elements to a set of coprime elements. An important part of our study involves the set on which the way-below relation is multiplicative.
In the field of automatic proving, the study of the sets of prime implicants or implicates of a formula has proven to be very important. If we focus on non-classical logics and, in particular, on temporal logics, such study is useful even if it is restricted to the set of unitary implicants/implicates [P. Cordero, M. Enciso, and I. de Guzmán: Structure theorems for closed sets of implicates/implicants in temporal logic. (Lecture Notes in Artificial Intelligence 1695.) Springer–Verlag, Berlin 1999]....
In [2], J. Klimes studied rotations of lattices. The aim of the paper is to research rotations of the so-called -lattices introduced in [3] by V. Snasel.
In a former paper, motivated by a recent theory of relators (families of relations), we have investigated increasingly regular and normal functions of one preordered set into another instead of Galois connections and residuated mappings of partially ordered sets. A function of one preordered set into another has been called (1) increasingly -normal, for some function of into , if for any and we have if and only if ; (2) increasingly -regular, for some function of into itself,...
The investigation of orthocomplemented lattices with a symmetric difference initiated the following question: Which orthomodular lattice can be embedded in an orthomodular lattice that allows for a symmetric difference? In this paper we present a necessary condition for such an embedding to exist. The condition is expressed in terms of -valued states and enables one, as a consequence, to clarify the situation in the important case of the lattice of projections in a Hilbert space.