10 Nov
2011
10 Nov
'11
11:45 a.m.
On Wed, 9 Nov 2011, Andrej Bauer wrote:
Also, in logic, "and" goes in pair with "or", "for all" goes in pair with "there exists". But implication is always left alone. Why is it so?
I am afraid logic is polyamorous: ... By the way:
1. "forall" goes with "weakening" because it is adjoint to it on the right. 2. "exists" goes with "weakening" because it is adjoint to it on the left.
What's the definition of "weakening"? I've not seen this word used formally.
... Andrej
Thanks Jocelyn [For admin and other information see: http://www.mta.ca/~cat-dist/ ]