Defining Formal Explanation in Classical Logic by Substructural Derivability.

Francesco A. Genco, Francesca Poggiolesi

Browse the full CiE paper archive.