Displaying similar documents to “Basic pseudorings”

A measure-theoretic characterization of Boolean algebras among orthomodular lattices

Pavel Pták, Sylvia Pulmannová (1994)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We investigate subadditive measures on orthomodular lattices. We show as the main result that an orthomodular lattice has to be distributive (=Boolean) if it possesses a unital set of subadditive probability measures. This result may find an application in the foundation of quantum theories, mathematical logic, or elsewhere.

Ring-like structures derived from λ -lattices with antitone involutions

Ivan Chajda (2007)

Mathematica Bohemica

Similarity:

Using the concept of the λ -lattice introduced recently by V. Snášel we define λ -lattices with antitone involutions. For them we establish a correspondence to ring-like structures similarly as it was done for ortholattices and pseudorings, for Boolean algebras and Boolean rings or for lattices with an antitone involution and the so-called Boolean quasirings.

Monadic basic algebras

Ivan Chajda, Miroslav Kolařík (2008)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

The concept of monadic MV-algebra was recently introduced by A. Di Nola and R. Grigolia as an algebraic formalization of the many-valued predicate calculus described formerly by J. D. Rutledge [9]. This was also genaralized by J. Rachůnek and F. Švrček for commutative residuated ℓ -monoids since MV-algebras form a particular case of this structure. Basic algebras serve as a tool for the investigations of much more wide class of non-classical logics (including MV-algebras, orthomodular...