The Logic of Quantum Mechanics - take II - Perimeter Institute
The Logic of Quantum Mechanics - take II - Perimeter Institute
The Logic of Quantum Mechanics - take II - Perimeter Institute
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
— grammar as pregroups – Lambek ’99 —<br />
I ηl<br />
→ A ⊗ A l<br />
A l ⊗ A ɛl<br />
→ I<br />
Al<br />
A<br />
A A l Ar<br />
A<br />
A A A<br />
I ηr<br />
→ A r ⊗ A A ⊗ A r ɛ r<br />
→ I<br />
A<br />
A<br />
A r<br />
A<br />
A<br />
=<br />
=<br />
=<br />
A<br />
A<br />
l<br />
A<br />
l<br />
A<br />
A<br />
r<br />
A<br />
r<br />
=<br />
A<br />
l<br />
A<br />
l<br />
A<br />
r<br />
A<br />
r