Displaying similar documents to “Boolean part of BL-algebras”

An algebraic version of the Cantor-Bernstein-Schröder theorem

Hector Freytes (2004)

Czechoslovak Mathematical Journal

Similarity:

The Cantor-Bernstein-Schröder theorem of the set theory was generalized by Sikorski and Tarski to σ -complete boolean algebras, and recently by several authors to other algebraic structures. In this paper we expose an abstract version which is applicable to algebras with an underlying lattice structure and such that the central elements of this lattice determine a direct decomposition of the algebra. Necessary and sufficient conditions for the validity of the Cantor-Bernstein-Schröder...

A spectral theorem for σ MV-algebras

Sylvia Pulmannová (2005)

Kybernetika

Similarity:

MV-algebras were introduced by Chang, 1958 as algebraic bases for multi-valued logic. MV stands for “multi-valued" and MV algebras have already occupied an important place in the realm of nonstandard (mathematical) logic applied in several fields including cybernetics. In the present paper, using the Loomis–Sikorski theorem for σ -MV-algebras, we prove that, with every element a in a σ -MV algebra M , a spectral measure (i. e. an observable) Λ a : ℬ ( [ 0 , 1 ] ) → ℬ ( M ) can be associated, where ℬ ( M ) denotes the Boolean...

Putting together Lukasiewicz and product logics.

Francesc Esteva, Lluis Godo (1999)

Mathware and Soft Computing

Similarity:

In this paper we investigate a propositional fuzzy logical system LΠ which contains the well-known Lukasiewicz, Product and Gödel fuzzy logics as sublogics. We define the corresponding algebraic structures, called LΠ-algebras and prove the following completeness result: a formula φ is provable in the LΠ logic iff it is a tautology for all linear LΠ-algebras. Moreover, linear LΠ-algebras are shown to be embeddable in linearly ordered abelian rings with a strong unit and cancellation law. ...