A note on nuclei of quantale modules
We introduce the concept of a pseudo-Kleene algebra which is a non-distributive modification of a Kleene algebra introduced by J. A. Kalman [Kalman, J. A.: Lattices with involution. Trans. Amer. Math. Soc. 87 (1958), 485–491.]. Basic properties of pseudo-Kleene algebras are studied. For pseudo-Kleene algebras with a fix-point there are determined subdirectly irreducible members.
Characterizations for a pseudocomplemented modular join-semilattice with 0 and 1 and its ideal lattice to be a Stone lattice are given.
In [4] Blok and Pigozzi prove syntactically that RM, the propositional calculus also called R-Mingle, is algebraizable, and as a consequence there is a unique quasivariety (the so-called equivalent quasivariety semantics) associated to it. In [3] it is stated that this quasivariety is the variety of Sugihara algebras. Starting from this fact, in this paper we present an equational base for this variety obtained as a subvariety of the variety of R-algebras, found in [7] to be associated in the same...
To each indefinite integral binary quadratic form , we may associate the geodesic in through the roots of quadratic equation . In this paper we study the asymptotic distribution (as discriminant tends to infinity) of the angles between these geodesics and one fixed vertical geodesic which intersects all of them.
Non-Archimedean f-rings need not be p-distributive. Moreover, if {di|i} is a subset of a non-Archimedean f-ring and a ≥ 0, the elements a vi di and vi adi need not be equal. We prove, however, that the difference is an infinitely small element when the ring has a strong unity.