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

Dmitry Tishkovsky; Renate A. Schmidt; Mohammad Khodadadi

doi:10.29007/1c73

Download PDF Open PDF in browser

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:MetTeLsup2_sup_Towards_Tableau_Prover,
  author    = {Dmitry Tishkovsky and Renate A. Schmidt and Mohammad Khodadadi},
  title     = {MetTeL \textbackslash{}ensuremath\{ \ensuremath{< }  \} sup \textbackslash{}ensuremath\{ \ensuremath{> }  \} 2 \textbackslash{}ensuremath\{ \ensuremath{< }  \} /sup \textbackslash{}ensuremath\{ \ensuremath{> }  \} : 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},
  pages     = {149--162},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/XhJM},
  doi       = {10.29007/1c73}}

Download PDF Open PDF in browser