Can I read Theorem Provers in Substructural Logics on EtoBox?

Theorem Provers in Substructural Logics by papi rhudz is a document available to read on EtoBox.

What is Theorem Provers in Substructural Logics about?

The document discusses theorem provers for certain decidable propositional substructural logics. It highlights the development and implementation of these automated deduction tools. The work is published in the

Author

papi rhudz

Language

EN