Waldek, I have updated the file computation.spad.pamphlet at: > https://github.com/martinbaker/multivector/
I have removed non-ASCII characters, added a to-do list and generally updated the comments to reflect our earlier exchanges. However, I have not yet made any changes to code. On Saturday 18 Jun 2011 13:33:51 Waldek Hebisch wrote: > Actually, the tables you gave describe something quite different > that intutionistic logic. For example, you have > > - T = ? > - ? = ? > > however in intutionistic logic - T is false and -(- T) = T. This looks like the 'law of excluded middle' which I have not been assuming. > Similarely, -x /\ x is false, but your tables give ?. > > I wonder from which source you took your definitions? Various on-line sources such as: http://en.wikipedia.org/wiki/Intuitionistic_logic (I don't have acess to a university library) >From which source do you get your definitions? We are obviously working with very different assumptions. Can you give an on-line source that we can both agree on? Martin -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
