Logical structures and genus of proofs

被引：3
|
作者：
Carbone, Alessandra [1 ]
机构：
[1] Univ Paris 06, Dept Comp Sci, Paris, France
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2009年 / 161卷 / 02期
关键词：
Logical flow graph; Genus of a proof; Cut-free proof; Cut; Sequent calculus; GRAPHS;
D O I：
10.1016/j.apal.2009.05.007
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Any arbitrarily complicated non-oriented graph, that is a graph of arbitrarily large genus, can be encoded in a cut-free proof. This unpublished result of Statman was shown in the early seventies. We provide a proof of it, and of a number of other related facts. (C) 2009 Elsevier B.V. All rights reserved.
引用
收藏
页码：139 / 149
页数：11
相关论文
共 50 条
  • [1] A logical analysis of graphical consistency proofs
    Shimojima, A
    [J]. LOGICAL AND COMPUTATIONAL ASPECTS OF MODEL-BASED REASONING, 2002, 25 : 93 - 115
  • [2] CONSTRUCTIONS, PROOFS AND THE MEANING OF LOGICAL CONSTANTS
    SUNDHOLM, G
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1983, 12 (02) : 151 - 172
  • [3] Logical Concurrency Control from Sequential Proofs
    Deshmukh, Jyotirmoy
    Ramalingam, G.
    Ranganath, Venkatesh-Prasad
    Vaswani, Kapil
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2010, 6012 : 226 - +
  • [4] LOGICAL CONCURRENCY CONTROL FROM SEQUENTIAL PROOFS
    Deshmukh, Jyotirmoy
    Ramalingam, G.
    Ranganath, Venkatesh-Prasad
    Vaswani, Kapil
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (03)
  • [5] Visualization of Logical Structure in Mathematical Proofs for Learners
    Watabe, Takayuki
    Miyazaki, Yoshinori
    [J]. COMPUTER AND INFORMATION SCIENCE 2012, 2012, 429 : 197 - +
  • [6] POPLMark reloaded: Mechanizing proofs by logical relations
    Abel, Andreas
    Allais, Guillaume
    Hameer, Aliya
    Pientka, Brigitte
    Momigliano, Alberto
    Schaefer, Steven
    Stark, Kathrin
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
  • [7] THE LOGICAL STATUS OF THERMODYNAMIC PROOFS OF MATHEMATICAL THEOREMS
    DEAKIN, MAB
    TROUP, GJ
    [J]. PHYSICS LETTERS A, 1981, 83 (06) : 239 - 240
  • [8] Scaffolds for seeing, using, and articulating logical structures in proofs: Design research study with high school students
    Hein, Kerstin
    Prediger, Susanne
    [J]. JOURNAL OF MATHEMATICAL BEHAVIOR, 2024, 74
  • [9] Extracting exact time bounds from logical proofs
    Ferrari, M
    Fiorentini, C
    Ornaghi, M
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2002, 2372 : 245 - 265
  • [10] Mechanizing proofs with logical relations - Kripke-style
    Cave, Andrew
    Pientka, Brigitte
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2018, 28 (09) : 1606 - 1638
12345