FOM: Books, foundations, intuitionism, NF

[Vaughan Pratt]

From: Vaughan Pratt <pratt at CS.Stanford.EDU>
>That intuitionistic implication is more properly understood semantically
>than syntactically is witnessed by its having no canonical syntactic
>definition (A->B can be defined as the greatest C such that (A and C) <=
>B, or the function Aimplies(x) can be defined as left adjoint to Aand(x)),
						  ^^^^

Oops, that should have been right adjoint.

Vaughan Pratt