A BCL+ algebras can be considered as a fragment of propositional logic containing only a logical connective implication a binary operation → and 1 which is interpreted as the value true. This paper offers a new abstract structure, which is called the pseudoassociation BCL+ algebras (simply pa-BCL+ algebras). Because of its origin in BCL+ algebras, we increase the pseudo-association law and ordered structure, but the connection is not a simple derivation, it involved groups, abelian and semigroups. We will give some concepts and characterizations in the pa-BCL+ algebras. As a result, the pa-BCL+ algebras have more complex algebraic structures.
Digital Object Identifier (DOI)
"pa-BCL+ Algebras and Groups,"
Applied Mathematics & Information Sciences: Vol. 11
, Article 29.
Available at: https://dc.naturalspublishing.com/amis/vol11/iss3/29