Analytic Calculi for Non-Classical Logics: Theory and Applications (Invited talk)

摘要

The possession of a suitable proof-calculus is the starting point for many investigations into a logic, including decidability and complexity, computational interpretations and automated theorem proving. By suitable proof-calculus we mean a calculus whose