Tools for the Investigation of Substructural and Paraconsistent Logics

Abstract. We present an overview of the methods in [10,7,13] and their implementation in the system TINC. This system introduces analytic calculi for large classes of substructural and paraconsistent logics, which it then uses to prove various results about the formalized logics.