Three-valued logic and dynamic semantics

被引：0
|
作者：
Kustner, H [1 ]
机构：
[1] Humboldt Univ, Philosph Fak 2, D-10117 Berlin, Germany
来源：
ANALYOMEN 2, VOL I: LOGIC, EPISTEMOLOGY, PHILOSOPHY OF SCIENCE | 1997年 / 16卷
关键词：
D O I：
暂无
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
引用
收藏
页码：116 / 123
页数：8
相关论文
共 50 条
  • [1] A three-valued semantics for logic programmers
    Naish, Lee
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 509 - 538
  • [2] A Three-Valued Semantics for Typed Logic Programming
    Barbosa, Joao
    Florido, Mario
    Costa, Vitor Santos
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 36 - 51
  • [3] Logic Programs under Three-Valued Lukasiewicz Semantics
    Hoelldobler, Steffen
    Ramli, Carroline Dewi Puspa Kencana
    [J]. LOGIC PROGRAMMING, 2009, 5649 : 464 - 478
  • [4] Towards an Algebraic Topos Semantics for Three-valued Godel Logic
    Aguzzoli, Stefano
    Codara, Pietro
    [J]. IEEE CIS INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS 2021 (FUZZ-IEEE), 2021,
  • [5] TWO KINDS OF (BINARY) KRIPKE-STYLE SEMANTICS FOR THREE-VALUED LOGIC
    Yang, Eunsuk
    [J]. LOGIQUE ET ANALYSE, 2015, (231) : 377 - 394
  • [6] The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs
    Rondogiannis, Panos
    Symeonidou, Ioanna
    [J]. PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5344 - 5348
  • [7] The intricacies of three-valued extensional semantics for higher-order logic programs
    Rondogiannis, Panos
    Symeonidou, Ioanna
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 974 - 991
  • [8] A Three-Valued Fregean Quantification Logic
    Minghui Ma
    Yuanlei Lin
    [J]. Journal of Philosophical Logic, 2019, 48 : 409 - 423
  • [9] The cylindric algebras of three-valued logic
    Feldman, N
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (04) : 1201 - 1217
  • [10] Probabilistic inference on three-valued logic
    Qi, GL
    [J]. ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, 2003, 2639 : 690 - 693
12345