Rings with Boolean Lattices of One-Sided Annihilators

The present paper is part of the research on the description of rings with a given property of the lattice of left (right) annihilators. The anti-isomorphism of lattices of left and right annihilators in any ring gives some kind of symmetry: the lattice of left annihilators is Boolean (complemented, distributive) if and only if the lattice of right annihilators is such. This allows us to restrict our investigations mainly to the left side. For a unital associative ring R, we prove that the lattice of left annihilators in R is Boolean if and only if R is a reduced ring. We also prove that the lattice of left annihilators of R being two-sided ideals is complemented if and only if this lattice is Boolean. The last statement, in turn, is known to be equivalent to the semiprimeness of R. On the other hand, for any complete lattice L, we construct a nilpotent ring whose lattice of left annihilators coincides with its sublattice of left annihilators being two-sided ideals and is isomorphic to L. This construction shows that the assumption of R being unital cannot be dropped in any of the above two results. Some additional results on rings with distributive or complemented lattices of left annihilators are obtained.

σ-Ideals in a 0-1 distributive lattice

The notion of a [Formula: see text]-ideal in a [Formula: see text]-[Formula: see text] distributive lattice is introduced and studied. Certain classes of [Formula: see text]-[Formula: see text] distributive lattices such as normal lattices, complemented lattices, generalized Stone lattices are characterized by using the properties of [Formula: see text]-ideals. Stable ideals are defined and a necessary and sufficient condition for a [Formula: see text]-ideal to be stable is given.

A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic

Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002; Fujio and Bloch, 2004; Fujio, 2006). For example, a pair of morphological operators as an adjunction gives rise to a temporalization of normal modal logic (Fujio and Bloch, 2004; Fujio, 2006). Also, constructions of models for intuitionistic logic or linear logics can be described in terms of morphological interior and/or closure operators (Fujio and Bloch, 2004). This shows that morphological analysis can be applied to various non-classical logics. On the other hand, quantum logics are algebraically formalized as orhomodular or modular ortho-complemented lattices (Birkhoff and von Neumann, 1936; Maeda, 1980; Chiara and Giuntini, 2002), and shown to allow Kripke semantics (Chiara and Giuntini, 2002). This suggests the possibility of morphological analysis for quantum logics. In this article, to show an efficiency of morphological analysis for quantum logic, we consider the implication problem in quantum logics (Chiara and Giuntini, 2002). We will give a comparison of the 5 polynomial implication connectives available in quantum logics.