Some remarks on Post algebras
Some results on dimension theory: Universal spaces
Spaces with Boolean assemblies
Spectra of autometrized lattice algebras
Autometrized algebras are a common generalization e.g. of commutative lattice ordered groups and Brouwerian algebras. In the paper, spectra of normal autometrized lattice ordered algebras (i.e. topologies of sets (and subsets) of their proper prime ideals) are studied. Especially, the representable dually residuated lattice ordered semigroups are examined.
Spectra of rings and lattices.
Spectral topologies of dually residuated lattice-ordered monoids
Dually residuated lattice-ordered monoids (-monoids for short) generalize lattice-ordered groups and include for instance also -algebras (pseudo -algebras), a non-commutative extension of -algebras. In the present paper, the spectral topology of proper prime ideals is introduced and studied.
Split structures.
Stable closed frame homomorphisms
Standard completions for quasiordered sets.
State-homomorphisms on -algebras
Riečan [12] and Chovanec [1] investigated states in -algebras. Earlier, Riečan [11] had dealt with analogous ideas in -posets. In the monograph of Riečan and Neubrunn [13] (Chapter 9) the notion of state is applied in the theory of probability on -algebras. We remark that a different definition of a state in an -algebra has been applied by Mundici [9], [10] (namely, the condition (iii) from Definition 1.1 above was not included in his definition of a state; in other words, only finite additivity...
States on basic algebras
States on commutative basic algebras were considered in the literature as generalizations of states on MV-algebras. It was a natural question if states exist also on basic algebras which are not commutative. We answer this question in the positive and give several examples of such basic algebras and their states. We prove elementary properties of states on basic algebras. Moreover, we introduce the concept of a state-morphism and characterize it among states. For basic algebras which are the certain...
States on pseudo-effect algebras with general comparability
Stone Lattices
The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the paper, the notion of a pseudocomplement in a lattice is formally introduced in Mizar, and based on this we define the notion of the skeleton and the set of dense elements in a pseudocomplemented lattice, giving the meet-decomposition of arbitrary element of a lattice as the infimum of two elements: one belonging to the skeleton, and the other which...
Stone lattices: a topological approach
Stonesche Verbände der Ordnung n und Postalgebren.
Strong subdirect products of MV-algebras
Strongly fixed ideals in and compact frames
Let be the ring of real-valued continuous functions on a frame . In this paper, strongly fixed ideals and characterization of maximal ideals of which is used with strongly fixed are introduced. In the case of weakly spatial frames this characterization is equivalent to the compactness of frames. Besides, the relation of the two concepts, fixed and strongly fixed ideals of , is studied particularly in the case of weakly spatial frames. The concept of weakly spatiality is actually weaker than...
Structure des topologies d'un topos
Structured lattices and ground categories of -sets.
Structures floues et algèbres de Post