Inverse and partially ordered semigroups
We introduce the inverse topology on the set of all minimal prime ideals of an MV-algebra and show that the set of all minimal prime ideals of , namely , with the inverse topology is a compact space, Hausdorff, -space and -space. Furthermore, we prove that the spectral topology on is a zero-dimensional Hausdorff topology and show that the spectral topology on is finer than the inverse topology on . Finally, by open sets of the inverse topology, we define and study a congruence relation...
In this paper we investigate sufficient conditions for the validity of certain implications concerning direct products of lattice-ordered groups.
We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section...