Problem Libraries for Non-Classical Logics

6 pages•Published: December 14, 2015

Abstract

Problem 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.

Links:	https://easychair.org/publications/paper/cGW
	https://doi.org/10.29007/mkdw

BibTeX entry

@inproceedings{ARQNL2014:Problem_Libraries_Non_Classical,
  author    = {Jens Otten and Thomas Raths},
  title     = {Problem Libraries for Non-Classical Logics},
  booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
  editor    = {Christoph Benzmüller and Jens Otten},
  series    = {EPiC Series in Computing},
  volume    = {33},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/cGW},
  doi       = {10.29007/mkdw},
  pages     = {31-36},
  year      = {2015}}

Download PDF Open PDF in browser