JTabWb is a Java framework for developing provers based on terminating sequent or tableau calculi. It provides a generic engine which performs proof-search driven by a user-de ned speci cation. The user is required to de ne the components of a prover by implementing suitable Java interfaces. The implemented provers can be used as standalone applications or embedded in other Java applications. The framework also supports proof-trace generation, LATEX rendering of proofs and counter-model generation.
JTabWb : a Java framework for implementing terminating sequent and tableau calculi / M. Ferrari, C. Fiorentini, G. Fiorino - In: CILC 2014 : proceedings of the 29th Italian Conference on Computational Logic : Torino, Italy, june 16-18, 2014 / [a cura di] L. Giordano, V. Gliozzi, G.L. Pozzato. - Aachen : CEUR, 2014 Jul. - pp. 46-53 (( Intervento presentato al 29. convegno Italian Conference on Computational Logic (CILC) tenutosi a Torino nel 2014.
JTabWb : a Java framework for implementing terminating sequent and tableau calculi
C. Fiorentini;
2014
Abstract
JTabWb is a Java framework for developing provers based on terminating sequent or tableau calculi. It provides a generic engine which performs proof-search driven by a user-de ned speci cation. The user is required to de ne the components of a prover by implementing suitable Java interfaces. The implemented provers can be used as standalone applications or embedded in other Java applications. The framework also supports proof-trace generation, LATEX rendering of proofs and counter-model generation.
| File | Dimensione | Formato | |
|---|---|---|---|
|
cilc2014_submission_4.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
80.77 kB
Formato
Adobe PDF
|
80.77 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
