On the expressive power of schemes

被引：0
|
作者：
Dowek, Gilles [1 ]
Jiang, Ying [2 ]
机构：
[1] INRIA, F-75214 Paris 13, France
[2] Chinese Acad Sci, State Key Lab Comp Sci, Inst Software, Beijing 100190, Peoples R China
来源：
INFORMATION AND COMPUTATION | 2011年 / 209卷 / 09期
关键词：
Natural deduction; Proof normalization; Bound variable; MODULO; PROOFS;
D O I：
10.1016/j.ic.2011.06.003
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a calculus, called the scheme-calculus, that permits to express natural deduction proofs in various theories. Unlike lambda-calculus, the syntax of this calculus sticks closely to the syntax of proofs, in particular, no names are introduced for the hypotheses. We show that despite its non-determinism, some typed scheme-calculi have the same expressivity as the corresponding typed lambda-calculi. (C) 2011 Elsevier Inc. All rights reserved.
引用
收藏
页码：1231 / 1245
页数：15
相关论文
共 50 条
  • [31] Expressive power of digraph solvability
    Bezem, Marc
    Grabmayer, Clemens
    Walicki, Michal
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (03) : 200 - 213
  • [32] On the expressive power of behavioral profiles
    Polyvyanyy, Artem
    Armas-Cervantes, Abel
    Dumas, Marlon
    Garcia-Banuelos, Luciano
    FORMAL ASPECTS OF COMPUTING, 2016, 28 (04) : 597 - 613
  • [33] On the Expressive Power of Deep Architectures
    Bengio, Yoshua
    Delalleau, Olivier
    DISCOVERY SCIENCE, 2011, 6926 : 1 - 1
  • [34] On the expressive power of collective attacks
    Dvorak, Wolfgang
    Fandinno, Jorge
    Woltran, Stefan
    ARGUMENT & COMPUTATION, 2019, 10 (02) : 191 - 230
  • [35] On the Expressive Power of FO[ plus ]
    Choffrut, Christian
    Malcher, Andreas
    Mereghetti, Carlo
    Palano, Beatrice
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2010, 6031 : 190 - +
  • [36] Expressive Power of “Now” and “Then” Operators
    Igor Yanovich
    Journal of Logic, Language and Information, 2015, 24 : 65 - 93
  • [37] THE EXPRESSIVE POWER OF MEMORY LOGICS
    Areces, Carlos
    Figueira, Diego
    Figueira, Santiago
    Mera, Sergio
    REVIEW OF SYMBOLIC LOGIC, 2011, 4 (02): : 290 - 318
  • [38] On the Expressive Power of Scientific Manuscripts
    MAHALAKSHMI, G. S.
    SIVA, R.
    SENDHILKUMAR, S.
    IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, 2021, 9 (01) : 269 - 279
  • [39] Expressive power, mood, and actuality
    Rohan French
    Synthese, 2013, 190 : 1689 - 1699
  • [40] The Expressive Power of Medieval Logic
    Parsons, Terry
    VIVARIUM-AN INTERNATIONAL JOURNAL FOR THE PHILOSOPHY AND INTELLECTUAL LIFE OF THE MIDDLE AGES AND RENAISSANCE, 2013, 51 (1-4): : 511 - 521
12345