On B-algebras
J. Neggers, Hee Sik Kim (2002)
Matematički Vesnik
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
J. Neggers, Hee Sik Kim (2002)
Matematički Vesnik
Similarity:
Chaudhry, Muhammad Anwar (2002)
International Journal of Mathematics and Mathematical Sciences
Similarity:
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...
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...
Andrzej Walendziak (2006)
Mathematica Slovaca
Similarity:
Radomír Halaš, Jiří Ort (2003)
Mathematica Slovaca
Similarity:
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...
Katsylo, Pavel, Mikhailov, Dmitry (1997)
Journal of Lie Theory
Similarity:
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...
Cīrulis, Jānis (2004)
Novi Sad Journal of Mathematics
Similarity: