On Thu, Sep 6, 2012 at 6:16 PM, Mike S.
<maikxlx@gmail.com> wrote:
LR-Commutativity with Binders
(3) la Ra Be Se Pake <=> Be la Ra Se Pake
This only works if "a" is not free in Pake i.e. "Pe".
L-Commutativity with BR-expressions:
(4) Be Se la Ra Pake <=> la Be Se Ra Pake
This only works if "e" is not free in Pake i.e. "Pa".
L-Commutativity with Binders:
(5) la Be <=> Be la
This should be written:
(5) la Be Se Ra <=> Be la Ra Se
... and only works if "a" is not free in Se and "e" not free in R. Since this identity can be derived from the above identities, it should probably be left off the list.