FOM: posting from Grandy
neilt at mercutio.cohums.ohio-state.edu
Wed Feb 24 11:12:59 EST 1999
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)?
>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
More information about the FOM