Provability in Hilbert-Style Calculi for Non-Classical Logics and ATP

Abstract

We study the provability of formulae in Hilbert-style calculi for propositional non-classical logics by methods of automated theorem proving.

Keywords

• provability
• non-classical logics
• automated theorem proving