Semantics for evaluation logic

被引：0
|
作者：
Moggi, E.
机构：
来源：
Fundamenta Informaticae | 1995年 / 22卷 / 1-2期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] INTENTIONAL SEMANTICS AND THE LOGIC OF FICTION
    JACQUETTE, D
    BRITISH JOURNAL OF AESTHETICS, 1989, 29 (02): : 168 - 176
  • [42] Truthmaker Semantics for Relevant Logic
    Mark Jago
    Journal of Philosophical Logic, 2020, 49 : 681 - 702
  • [43] An interactive semantics of logic programming
    Bruni, R
    Montanari, U
    Rossi, F
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2001, 1 : 647 - 690
  • [44] ON THE SEMANTICS AND LOGIC OF COMPUTATIONAL PROBLEMS
    KANOVICH, MI
    DOKLADY AKADEMII NAUK SSSR, 1989, 305 (04): : 778 - 782
  • [45] The semantics of nominal logic programs
    Cheney, James
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 361 - 375
  • [46] A LOGIC'S PROPER SEMANTICS
    Batens, Diderik
    LOGIQUE ET ANALYSE, 2021, (255) : 215 - 243
  • [47] BILATTICES AND THE SEMANTICS OF LOGIC PROGRAMMING
    FITTING, M
    JOURNAL OF LOGIC PROGRAMMING, 1991, 11 (02): : 91 - 116
  • [48] On the semantics and logic of declaratives and interrogatives
    Ivano Ciardelli
    Jeroen Groenendijk
    Floris Roelofsen
    Synthese, 2015, 192 : 1689 - 1728
  • [49] A temporal semantics for basic logic
    Aguzzoli S.
    Bianchi M.
    Marra V.
    Studia Logica, 2009, 92 (2) : 147 - 162
  • [50] Perceiving contradictions (Semantics, logic)
    Priest, G
    AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1999, 77 (04) : 439 - 446
12345