MetTeL<sup>2</sup>: Towards a Tableau Prover Generation Platform

14 pages•Published: August 19, 2013

Dmitry Tishkovsky, Renate A. Schmidt and Mohammad Khodadadi

Abstract

This paper introduces MetTeL2, a tableau prover generator producing Java code from the specifications of a logical syntax and a tableau calculus. It is intended to provide an easy to use system for non-technical users and allow technical users to extend the generated implementations.

Keyphrases: logic, system description, tableau calculus, tableau decision procedure, tableau prover generator

In: Pascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors). PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning, vol 21, pages 149-162.

Links:	https://easychair.org/publications/paper/XhJM
	https://doi.org/10.29007/1c73

BibTeX entry

@inproceedings{PAAR-2012:MetTeL<sup>2</sup>_Towards_Tableau_Prover,
  author    = {Dmitry Tishkovsky and Renate A. Schmidt and Mohammad Khodadadi},
  title     = {MetTeL<sup>2</sup>: Towards a Tableau Prover Generation Platform},
  booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
  series    = {EPiC Series in Computing},
  volume    = {21},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/XhJM},
  doi       = {10.29007/1c73},
  pages     = {149-162},
  year      = {2013}}

Download PDF Open PDF in browser