Independence of Axioms in Non-classical Logics and Automated Theorem Proving

Abstract

We study the independence of axioms in Hilbert-style calculi for some propositional non-classical logics, especially for substructural and mathematical fuzzy logics, by automated theorem proving methods.

Keywords

• Hilbert-style proof systems
• independence of axioms
• logic BL
• logic MTL
• automated theorem proving