Automated Support for the Investigation of Paraconsistent and Other Logics.

Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky

Browse the full LFCS paper archive.