DocumentCode
1653943
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
fYear
2013
Firstpage
135
Lastpage
138
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Theoretical Computer Science (WEIT), 2013 2nd Workshop-School on
Conference_Location
Rio Grande
Type
conf
DOI
10.1109/WEIT.2013.35
Filename
6778579
Link To Document