Displaying similar documents to “Horizontal sums of basic algebras”

A Cantor-Bernstein theorem for σ -complete MV-algebras

Anna de Simone, Daniele Mundici, Mirko Navara (2003)

Czechoslovak Mathematical Journal

Similarity:

The Cantor-Bernstein theorem was extended to σ -complete boolean algebras by Sikorski and Tarski. Chang’s MV-algebras are a nontrivial generalization of boolean algebras: they stand to the infinite-valued calculus of Łukasiewicz as boolean algebras stand to the classical two-valued calculus. In this paper we further generalize the Cantor-Bernstein theorem to σ -complete MV-algebras, and compare it to a related result proved by Jakubík for certain complete MV-algebras.

On Marczewski-Burstin representable algebras

Marek Balcerzak, Artur Bartoszewicz, Piotr Koszmider (2004)

Colloquium Mathematicae

Similarity:

We construct algebras of sets which are not MB-representable. The existence of such algebras was previously known under additional set-theoretic assumptions. On the other hand, we prove that every Boolean algebra is isomorphic to an MB-representable algebra of sets.

States on basic algebras

Ivan Chajda, Helmut Länger (2017)

Mathematica Bohemica

Similarity:

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...

The Sheffer stroke operation reducts of basic algebras

Tahsin Oner, Ibrahim Senturk (2017)

Open Mathematics

Similarity:

In this study, a term operation Sheffer stroke is presented in a given basic algebra 𝒜 and the properties of the Sheffer stroke reduct of 𝒜 are examined. In addition, we qualify such Sheffer stroke basic algebras. Finally, we construct a bridge between Sheffer stroke basic algebras and Boolean algebras.

Two constructions of De Morgan algebras and De Morgan quasirings

Ivan Chajda, Günther Eigenthaler (2009)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

De Morgan quasirings are connected to De Morgan algebras in the same way as Boolean rings are connected to Boolean algebras. The aim of the paper is to establish a common axiom system for both De Morgan quasirings and De Morgan algebras and to show how an interval of a De Morgan algebra (or De Morgan quasiring) can be viewed as a De Morgan algebra (or De Morgan quasiring, respectively).

Flocks in universal and Boolean algebras

Gabriele Ricci (2010)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

We propose the notion of flocks, which formerly were introduced only in based algebras, for any universal algebra. This generalization keeps the main properties we know from vector spaces, e.g. a closure system that extends the subalgebra one. It comes from the idempotent elementary functions, we call "interpolators", that in case of vector spaces merely are linear functions with normalized coefficients. The main example, we consider outside vector spaces, concerns...

Boolean part of BL-algebras

Radim Bělohlávek (2003)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

Grzegorczyk Algebras Revisited

Michał M. Stronkowski (2018)

Bulletin of the Section of Logic

Similarity:

We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras.