Displaying similar documents to “Some problems of BCK-algebras and Griss type algebras”

On B-algebras

J. Neggers, Hee Sik Kim (2002)

Matematički Vesnik

Similarity:

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

Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras

Wojciech Dzik, Sándor Radeleczki (2016)

Bulletin of the Section of Logic

Similarity:

We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering (or directed) unification, that is, the property that for every two unifiers there is a unifier more general then both of them. Contrary to that, often adding new operations to algebras results in changing the unification type. To prove the results we apply the theorems of [9] on direct products of l-algebras and filtering...

The class of 2-dimensional neat reducts is not elementary

Tarek Sayed Ahmed (2002)

Fundamenta Mathematicae

Similarity:

SC, CA, QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras and Halmos' quasipolyadic algebras with equality, respectively. Generalizing a result of Andréka and Németi on cylindric algebras, we show that for K ∈ SC,QA,CA,QEA and any β > 2 the class of 2-dimensional neat reducts of β-dimensional algebras in K is not closed under forming elementary subalgebras, hence is not elementary. Whether this result extends...

Nonlinear separable equations in linear spaces and commutative Leibniz algebras

D. Przeworska-Rolewicz (2010)

Annales Polonici Mathematici

Similarity:

We consider nonlinear equations in linear spaces and algebras which can be solved by a "separation of variables" obtained due to Algebraic Analysis. It is shown that the structures of linear spaces and commutative algebras (even if they are Leibniz algebras) are not rich enough for our purposes. Therefore, in order to generalize the method used for separable ordinary differential equations, we have to assume that in algebras under consideration there exist logarithmic mappings. Section...

A theory of extensions of quasi-algebras to algebras

J. Słomiński

Similarity:

CONTENTSINTRODUCTION...................................................................................................................................................................... 31. TERMS NOTATION AND LEMMAS.................................................................................................................................. 4A. Quasi-algebras and algebras..........................................................................................................................................................................

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