Download PDFOpen PDF in browserProblem Libraries for Non-Classical Logics6 pages•Published: December 14, 2015AbstractProblem libraries for automated theorem proving (ATP) systems play a crucial role when developing, testing, benchmarking and evaluating ATP systems for classical and non-classical logics. We provide an overview of existing problem libraries for some important non-classical logics, namely first-order intuitionistic and first-order modal logics. We suggest future plans to extend these existing libraries and discuss ideas for a general problem library platform for non-classical logics.Keyphrases: automated theorem proving, intuitionistic logic, modal logic, non classical logics, problem libraries In: Christoph Benzmüller and Jens Otten (editors). ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics, vol 33, pages 31-36.
|