PROOF-THEORETIC CHARACTERIZATIONS OF LOGIC PROGRAMMING

被引：0
|
作者：
ANDREWS, JH
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 379卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：145 / 154
页数：10
相关论文
共 50 条
  • [41] A proof-theoretic analysis of collection
    Lev D. Beklemishev
    Archive for Mathematical Logic, 1998, 37 : 275 - 296
  • [42] PROOF-THEORETIC SEMANTICS AND HYPERINTENSIONALITY
    Pezlar, Ivo
    LOGIQUE ET ANALYSE, 2018, (242) : 151 - 161
  • [43] A Proof-Theoretic Semantics for Exclusion
    Nissim Francez
    Michael Kaminski
    Logica Universalis, 2017, 11 : 489 - 505
  • [44] Decidability in Proof-Theoretic Validity
    Stafford, Will
    LOGICA YEARBOOK 2021, 2022, : 153 - 165
  • [45] Bounded linear-time temporal logic: A proof-theoretic investigation
    Kamide, Norihiro
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (04) : 439 - 466
  • [46] Introduction: Proof-theoretic semantics
    Kahle, R
    Schroeder-Heister, P
    SYNTHESE, 2006, 148 (03) : 503 - 506
  • [47] A Proof-Theoretic Semantics for Exclusion
    Francez, Nissim
    Kaminski, Michael
    LOGICA UNIVERSALIS, 2017, 11 (04) : 489 - 505
  • [48] A tutorial on proof theoretic foundations of logic programming
    Bruscoli, P
    Guglielmi, A
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 109 - 127
  • [49] Proof-Theoretic Semantics and Feasibility
    Fichot, Jean
    CONSTRUCTIVITY AND COMPUTABILITY IN HISTORICAL AND PHILOSOPHICAL PERSPECTIVE, 2014, 34 : 135 - 158
  • [50] A proof-theoretic view of necessity
    Kahle, R
    SYNTHESE, 2006, 148 (03) : 659 - 673
12345