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 ...
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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback