-Polaren in halbgeordneten Mengen
-test spaces versus -algebras
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.
Mac Neille completion of centers and centers of Mac Neille completions of lattice effect algebras
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...
Macaulay posets.
Majorizing-injectivity in abelian lattice-ordered groups
Many-dimensional observables on Łukasiewicz tribe: constructions, conditioning and conditional independence
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...
Many-sorted coalgebraic modal logic : a model-theoretic study
This paper gives a semantical underpinning for a many-sorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in object-oriented languages. These systems will be described as coalgebras of so-called polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Many-sorted Boolean Algebras with...
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
This paper gives a semantical underpinning for a many-sorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in object-oriented languages. These systems will be described as coalgebras of so-called polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Many-sorted Boolean Algebras with...
Marczewski independence in lattices and semilattices
Marczewski-Burstin Representations of Boolean Algebras Isomorphic to a Power Set
The paper contains some sufficient conditions for Marczewski-Burstin representability of an algebra 𝓐 of sets which is isomorphic to 𝓟(X) for some X. We characterize those algebras of sets which are inner MB-representable and isomorphic to a power set. We consider connections between inner MB-representability and hull property of an algebra isomorphic to 𝓟 (X) and completeness of an associated quotient algebra. An example of an infinite universally MB-representable algebra is given.
Martin's axiom and partitions
Mathematical morphology and poset geometry.
Mathematische Modelle für die Geometrieverarbeitung - Mengentheoretisch-Algebraische Grundlagen und ein (Fleisch, Haut)- Modell
Matrices ordonnables : une étude algébrique
Matrix representable so-rings.
Matrix representation of homomorphic mappings of finite Boolean algebras
Maximal and essential ideals of MV-álgebras.
Maximal antichains in a partially ordered set
Maximal completion of a pseudo MV-algebra
In the present paper we investigate the relations between maximal completions of lattice ordered groups and maximal completions of pseudo -algebras.
Maximal convergences and minimal proper convergences in -groups