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 条
  • [31] The proof-theoretic square
    d'Aragona, Antonio Piccolomini
    SYNTHESE, 2023, 201 (06)
  • [32] Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics
    Thomas Piecha
    Peter Schroeder-Heister
    Studia Logica, 2019, 107 : 233 - 246
  • [33] Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics
    Stafford, Will
    Piecha, Thomas
    Schroeder-heister, Peter
    BULLETIN OF SYMBOLIC LOGIC, 2024, 30 (03)
  • [34] The Faithfulness of Fat: A Proof-Theoretic Proof
    Fernando Ferreira
    Gilda Ferreira
    Studia Logica, 2015, 103 : 1303 - 1311
  • [35] The Faithfulness of Fat: A Proof-Theoretic Proof
    Ferreira, Fernando
    Ferreira, Gilda
    STUDIA LOGICA, 2015, 103 (06) : 1303 - 1311
  • [36] A proof-theoretic analysis of collection
    Beklemishev, LD
    ARCHIVE FOR MATHEMATICAL LOGIC, 1998, 37 (5-6) : 275 - 296
  • [37] Bilateralism in Proof-Theoretic Semantics
    Nissim Francez
    Journal of Philosophical Logic, 2014, 43 : 239 - 259
  • [38] A PROOF-THEORETIC APPROACH TO ENTAILMENT
    TENNANT, N
    JOURNAL OF PHILOSOPHICAL LOGIC, 1980, 9 (02) : 185 - 209
  • [39] Categorical Proof-theoretic Semantics
    Pym, David
    Ritter, Eike
    Robinson, Edmund
    STUDIA LOGICA, 2024, 113 (1) : 125 - 162
  • [40] A proof-theoretic approach to tactics
    Aboul-Hosn, Kamal
    MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, 2006, 4108 : 54 - 66
12345