In our previous paper "Algebraic Logic for Classical Conjunction and Disjunction" we studied some relations between the fragment L of classical logic having just conjunction and disjunction and the ...
The decidability of the word problem for the free left distributive law is proved by introducing a structure group which describes the underlying identities. This group is closely connected with Artin ...
As we cannot simplify what is within the bracket, we must instead use the distributive property of this expression. This means that we can rewrite the above ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback