JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi

DOI10.3233/FI-2017-1462zbMath1373.68364OpenAlexW2593670048MaRDI QIDQ4589603

Mauro Ferrari, Guido Fiorino, Camillo Fiorentini

Publication date: 10 November 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2017-1462

zbMATH Keywords

theorem proversJava frameworks

Mathematics Subject Classification ID

Related Items (2)

Goal-oriented proof-search in natural deduction for intuitionistic propositional logic ⋮ JTabWb

Uses Software

• ILTP
• Isabelle
• PVS
• CoLoSS
• LoTREC
• fCube
• Imogen
• MetTeL
• Cool

This page was built for publication: JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi