Title :
N-GraphML: Language and Formal Grammar for Proof-Graphs
Author :
Vaz dos Santos, Daniel ; Souza de Castro, Lucas Fernando ; Vaz Alves, Gleifer
Author_Institution :
Acad. Dept. of Inf., Fed. Technol. Univ. of Parana, Ponta Grossa, Brazil
Abstract :
N-Graphs is a formal proof system based on natural deduction and sequent calculus rules, where derivations are represented via proof-graphs. The N-GraphML language has been developed in order to define a computational representation for N-Graphs. Here our work has a two-fold goal: i. define a formal grammar for N-GraphML, ii. build a proof editor for N-Graphs.
Keywords :
formal languages; grammars; graph theory; theorem proving; N-GraphML language; formal grammar; formal proof system; natural deduction; proof editor; proof-graphs; sequent calculus rules; Calculus; Grammar; Java; Periodic structures; Solids; Visualization; N-GraphML; N-Graphs; Proof-graphs;
Conference_Titel :
Theoretical Computer Science (WEIT), 2013 2nd Workshop-School on
Conference_Location :
Rio Grande
DOI :
10.1109/WEIT.2013.35
