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 ...
We prove the Finite Model Property (FMP) for Distributive Full Lambek Calculus (DFL) whose algebraic semantics is the class of distributive residuated lattices (DRL). The problem was left open in [8, ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback