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 条
  • [21] Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
    Gheorghiu, Alexander V.
    Gu, Tao
    Pym, David J.
    STUDIA LOGICA, 2024,
  • [22] Restall's Proof-Theoretic Pluralism and Relevance Logic
    Kouri, Teresa
    ERKENNTNIS, 2016, 81 (06) : 1243 - 1252
  • [23] Proof-Theoretic Semantics
    Pezlar, Ivo
    MIND, 2017, 126 (501) : 296 - 302
  • [24] Proof-theoretic pluralism
    Ferrari, Filippo
    Orlandelli, Eugenio
    SYNTHESE, 2021, 198 (SUPPL 20) : 4879 - 4903
  • [25] Proof-theoretic semantics
    Catta, Davide
    BULLETIN OF SYMBOLIC LOGIC, 2019, 25 (03) : 360 - 362
  • [26] Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
    Ciabattoni, Agata
    Metcalfe, George
    Montagna, Franco
    FUZZY SETS AND SYSTEMS, 2010, 161 (03) : 369 - 389
  • [27] Proof-theoretic Semantics
    Peregrin, Jaroslav
    ORGANON F, 2016, 23 (04) : 551 - 555
  • [28] Proof-theoretic pluralism
    Filippo Ferrari
    Eugenio Orlandelli
    Synthese, 2021, 198 : 4879 - 4903
  • [29] Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics
    Piecha, Thomas
    Schroeder-Heister, Peter
    STUDIA LOGICA, 2019, 107 (01) : 233 - 246
  • [30] The proof-theoretic square
    Antonio Piccolomini d’Aragona
    Synthese, 201
12345