I worte: > > I am not sure if a "complete" system of simplification rules is > known. What is known is an algorithm to determine validity > of intuitionistic formula, see for example: > > http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.7751 > > Using this you can determine equivalence of intuitionistic > formulas. But the algorithm does not work via "simplification > rules"... >
It seems that: http://www.philfree.org/IMG/pdf/dyckhoff-ljt.pdf gives simpler algorithm. BTW: Googling for "intuitionistic logic" "decision procedure" should give you more... -- Waldek Hebisch [email protected] -- 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.
