FOM: posting from Grandy

[Neil Tennant]

Can any fom-er provide a quick answer to the following query from Dick
Grandy (who I think is not a member of this list)?

Neil Tennant

___________________________________________________
>From Dick Grandy, Tue Feb 23 19:45:29 1999:

I am probably making a very elementary blunder, but in the process of
working through preparing a lecture on the jaskowski sequence of
characteristic matrices for intuitionistic sentential logic, I am unable to
see how the matrices fail to validate (A-->B) v (B-->A).

I am looking at the Rose 1953 paper, though the same problem arises for the
matrices given in Church IML (p 146-7) though he does not claim his
matrices are characteristic.

I am hoping you can either set me straight quickly, or perhaps refer me to
someone else who has these things at their fingertips or an appropriate
e-list.

Many thanks

Dick Grandy