Add to ORKGThis paper presents the BCL+-algebras, which is derived the fundamental properties. Results are generalized with ver-sion of BCL-algebras [5], using some unusual for a binary relation * and a constant 1 (one) in a non-empty set X, one may take different axiom systems for BCL+-algebras
In this paper we introduce some new types of stabilizers in BL-algebras and we state and prove some ...
An MV-algebra is an algebra (A, ⊕, ¬, 0), where (A, ⊕, 0) is a commutative monoid and ¬ is an idempo...
AbstractFollowing the theory of Boolean algebras with modal (normal and additive) operators (BAO), i...
A BCL+ algebras can be considered as a fragment of propositional logic containing only a logical con...
Abstract: Since all the algebras connected to logic have, more or less explicitely, an associated or...
We define and study monadic BL-algebras as pair of BL-algebras one of which is a special case of rel...
Since all the algebras connected to logic have, more or less explicitely, an associated order relati...
Since all the algebras connected to logic have, more or less explicitely, an associated order relati...
Summary. In this article we will first investigate the elementary prop-erties of BCI-algebras with c...
BO-Algebra is an algebraic structure which derived from the B-Aljabar concept that is an algebraic ...
AbstractThe representation of algebras by Boolean products is a very general problem in universal al...
BCK-algebras were introduced by K. Iseki in [6] in order to give an algebraic framework for Meredith...
A symplied axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms...
Abstract. The concept of a BCH-algebra is a generalization of the concept of a BCI-algebra. It is sh...
BL-algebras were introduced by P. Hajek as algebraic structures of Basic Logic. The aim of the paper...
In this paper we introduce some new types of stabilizers in BL-algebras and we state and prove some ...
An MV-algebra is an algebra (A, ⊕, ¬, 0), where (A, ⊕, 0) is a commutative monoid and ¬ is an idempo...
AbstractFollowing the theory of Boolean algebras with modal (normal and additive) operators (BAO), i...
A BCL+ algebras can be considered as a fragment of propositional logic containing only a logical con...
Abstract: Since all the algebras connected to logic have, more or less explicitely, an associated or...
We define and study monadic BL-algebras as pair of BL-algebras one of which is a special case of rel...
Since all the algebras connected to logic have, more or less explicitely, an associated order relati...
Since all the algebras connected to logic have, more or less explicitely, an associated order relati...
Summary. In this article we will first investigate the elementary prop-erties of BCI-algebras with c...
BO-Algebra is an algebraic structure which derived from the B-Aljabar concept that is an algebraic ...
AbstractThe representation of algebras by Boolean products is a very general problem in universal al...
BCK-algebras were introduced by K. Iseki in [6] in order to give an algebraic framework for Meredith...
A symplied axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms...
Abstract. The concept of a BCH-algebra is a generalization of the concept of a BCI-algebra. It is sh...
BL-algebras were introduced by P. Hajek as algebraic structures of Basic Logic. The aim of the paper...
In this paper we introduce some new types of stabilizers in BL-algebras and we state and prove some ...
An MV-algebra is an algebra (A, ⊕, ¬, 0), where (A, ⊕, 0) is a commutative monoid and ¬ is an idempo...
AbstractFollowing the theory of Boolean algebras with modal (normal and additive) operators (BAO), i...