In analogy with effect algebras, we introduce the test spaces and -test spaces. A test corresponds to a hypothesis on the propositional system, or, equivalently, to a partition of unity. We show that there is a close correspondence between -algebras and -test spaces.
If element of a lattice effect algebra is central, then the interval is a lattice effect algebra with the new top element and with inherited partial binary operation . It is a known fact that if the set of central elements of is an atomic Boolean algebra and the supremum of all atoms of in equals to the top element of , then is isomorphic to a subdirect product of irreducible effect algebras ([18]). This means that if there exists a MacNeille completion of which is its extension...
Probability on collections of fuzzy sets can be developed as a generalization of the classical probability on -algebras of sets. A Łukasiewicz tribe is a collection of fuzzy sets which is closed under the standard fuzzy complementation and under the pointwise application of the Łukasiewicz t-norm to countably many fuzzy sets. An observable is a fuzzy set-valued mapping defined on a -algebra of sets and satisfying some additional properties; formally, the role of an observable is in a sense analogous...
In the present paper we investigate the relations between maximal completions of lattice ordered groups and maximal completions of pseudo -algebras.
In this paper we define maximal MV-algebras, a concept similar to the maximal rings and maximal distributive lattices. We prove that any maximal MV-algebra is semilocal, then we characterize a maximal MV-algebra as finite direct product of local maximal MV-algebras.
Coherent ideals, strongly coherent ideals, and -closed ideals are introduced in pseudo-complemented distributive lattices and their characterization theorems are derived. A set of equivalent conditions is derived for every ideal of a pseudo-complemented distributive lattice to become a coherent ideal. The notion of median prime ideals is introduced and some equivalent conditions are derived for every maximal ideal of a pseudo-complemented distributive lattice to become a median prime ideal which...
A locallic version of Hager’s metric-fine spaces is presented. A general definition of -fineness is given and various special cases are considered, notably all metric frames, complete metric frames. Their interactions with each other, quotients, separability, completion and other topological properties are discussed.
The purpose of this paper is to study the topological properties of the interval topology on a completely distributive lattice. The main result is that a metrizable completely distributive lattice is an ANR if and only if it contains at most finite completely compact elements.
Bounded residuated lattice ordered monoids (-monoids) form a class of algebras which contains the class of Heyting algebras, i.e. algebras of the propositional intuitionistic logic, as well as the classes of algebras of important propositional fuzzy logics such as pseudo -algebras (or, equivalently, -algebras) and pseudo -algebras (and so, particularly, -algebras and -algebras). Modal operators on Heyting algebras were studied by Macnab (1981), on -algebras were studied by Harlenderová and...
Modal operators on Heyting algebras were introduced by Macnab. In this paper we introduce analogously modal operators on MV-algebras and study their properties. Moreover, modal operators on certain derived structures are investigated.