Download PDFOpen PDF in browser

Proof Support for Common Logic

17 pagesPublished: December 14, 2015

Abstract

We present the theoretical background for an extension of the Heterogeneous Tool Set Hets that enables proof support for Common Logic. This is achieved via logic translations that relate Common Logic and some of its sublogics to already supported logics and automated theorem proving systems. We thus provide the first theorem proving support for Common Logic covering the full language, including the possibility of verifying meta-theoretical relationships between Common Logic theories.

Keyphrases: Common Logic, logic translation, theorem proving

In: Christoph Benzmüller and Jens Otten (editors). ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics, vol 33, pages 42--58

Links:
BibTeX entry
@inproceedings{ARQNL2014:Proof_Support_for_Common,
  author    = {Till Mossakowski and Mihai Codescu and Oliver Kutz and Christoph Lange and Michael Gr\textbackslash{}"uninger},
  title     = {Proof Support for Common Logic},
  booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
  editor    = {Christoph Benzm\textbackslash{}"uller and Jens Otten},
  series    = {EPiC Series in Computing},
  volume    = {33},
  pages     = {42--58},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/zPd},
  doi       = {10.29007/2ksh}}
Download PDFOpen PDF in browser