N-GRAPHML: Language and Formal Grammar for Proof-Graphs

被引：0
|
作者：
dos Santos, Daniel Vaz [1 ]
Souza de Castro, Lucas Fernando [1 ]
Alves, Gleifer Vaz [1 ]
机构：
[1] Fed Technol Univ Parana, Acad Dept Informat, Ponta Grossa, Brazil
来源：
2013 2ND WORKSHOP-SCHOOL ON THEORETICAL COMPUTER SCIENCE (WEIT) | 2013年
关键词：
Proof-graphs; N-Graphs; N-GraphML;
D O I：
10.1109/WEIT.2013.35
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：135 / 138
页数：4
相关论文
共 42 条
  • [1] Proof-graphs for Minimal Implicational Logic
    Quispe-Cruz, Marcela
    Haeusler, Edward Hermann
    Gordeev, Lew
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (144): : 16 - 29
  • [2] On Strong Normalization in Proof-Graphs for Propositional Logic
    Quispe-Cruz, Marcela
    Haeusler, Edward
    Gordeev, Lew
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 323 (323) : 181 - 196
  • [3] A FORMAL UNIVERSAL OF NATURAL LANGUAGE GRAMMAR
    Steedman, Mark
    LANGUAGE, 2020, 96 (03) : 618 - 660
  • [4] EMPHASIS ON FORMAL GRAMMAR IN LANGUAGE TEXTBOOKS
    Wilcox, Lorena E.
    ELEMENTARY SCHOOL JOURNAL, 1942, 43 (02): : 105 - 108
  • [5] FORMAL GRAMMAR OF RUSSIAN LANGUAGE IN EXAMPLES
    Mirzabekov, Ya. M.
    Shihiev, Sh. B.
    PRIKLADNAYA DISKRETNAYA MATEMATIKA, 2018, (40): : 114 - 126
  • [6] The language of RNA: a formal grammar that includes pseudoknots
    Rivas, E
    Eddy, SR
    BIOINFORMATICS, 2000, 16 (04) : 334 - 340
  • [7] THE DEVELOPMENT OF GRAMMAR IN CHILD LANGUAGE - FORMAL DISCUSSION
    CHOMSKY, N
    MONOGRAPHS OF THE SOCIETY FOR RESEARCH IN CHILD DEVELOPMENT, 1964, 29 (01) : 35 - 39
  • [8] Artificial grammar learning meets formal language theory: an overview
    Fitch, W. Tecumseh
    Friederici, Angela D.
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES, 2012, 367 (1598) : 1933 - 1955
  • [9] Automatic detection of geological folds using attributed relational graphs and formal grammar
    Li, An-Bo
    Chen, Ying
    Lu, Guo-Nian
    Zhu, A-Xing
    COMPUTERS & GEOSCIENCES, 2019, 127 : 75 - 84
  • [10] A Construction of a Self-modifiying Language with a Formal Correction Proof
    Bonfante, Guillaume
    Godfroy, Hubert
    Marion, Jean-Yves
    PROCEEDINGS OF THE 2017 12TH INTERNATIONAL CONFERENCE ON MALICIOUS AND UNWANTED SOFTWARE (MALWARE), 2017, : 99 - 106
12345