A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple.

Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macas

Browse the full AISC paper archive.