Displaying similar documents to “Commutative directoids with sectionally antitone bijections”

Several Classes of BCK-algebras and their Properties

Tao Sun, Dahai Hu, Xiquan Liang (2007)

Formalized Mathematics

Similarity:

In this article the general theory of Commutative BCK-algebras and BCI-algebras and several classes of BCK-algebras are given according to [2].

Directoids with sectionally switching involutions

Ivan Chajda (2006)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

It is shown that every directoid equipped with sectionally switching mappings can be represented as a certain implication algebra. Moreover, if the directoid is also commutative, the corresponding implication algebra is defined by four simple identities.

BCI-algebras with Condition (S) and their Properties

Tao Sun, Junjie Zhao, Xiquan Liang (2008)

Formalized Mathematics

Similarity:

In this article we will first investigate the elementary properties of BCI-algebras with condition (S), see [8]. And then we will discuss the three classes of algebras: commutative, positive-implicative and implicative BCK-algebras with condition (S).MML identifier: BCIALG 4, version: 7.8.09 4.97.1001

Infinite independent systems of identities of alternative commutative algebra over a field of characteristic three

Nicolae Ion Sandu (2004)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Let 𝔄₃ denote the variety of alternative commutative (Jordan) algebras defined by the identity x³ = 0, and let 𝔖₂ be the subvariety of the variety 𝔄₃ of solvable algebras of solviability index 2. We present an infinite independent system of identities in the variety 𝔄₃ ∩ 𝔖₂𝔖₂. Therefore we infer that 𝔄₃ ∩ 𝔖₂𝔖₂ contains a continuum of infinite based subvarieties and that there exist algebras with an unsolvable words problem in 𝔄₃ ∩ 𝔖₂𝔖₂. It is worth mentioning that these results...

Commutative directoids with sectional involutions

Ivan Chajda (2007)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

The concept of a commutative directoid was introduced by J. Ježek and R. Quackenbush in 1990. We complete this algebra with involutions in its sections and show that it can be converted into a certain implication algebra. Asking several additional conditions, we show whether this directoid is sectionally complemented or whether the section is an NMV-algebra.