Paraconsistency and the need for infinite semantics

被引：1
|
作者：
Avron, Arnon [1 ]
机构：
[1] Tel Aviv Univ, Sch Comp Sci, Tel Aviv, Israel
来源：
SOFT COMPUTING | 2019年 / 23卷 / 07期
基金：
以色列科学基金会;
关键词：
ENTAILMENT; RELEVANCE;
D O I：
10.1007/s00500-018-3272-0
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We show that most of the paraconsistent logics which have been investigated in the literature have no finite characteristic matrices, and in the most important cases not even finite characteristic non-deterministic matrices (Nmatrices).
引用
下载
收藏
页码：2167 / 2175
页数：9
相关论文
共 50 条
  • [41] The need for quantitative methods in syntax and semantics research
    Gibson, Edward
    Fedorenko, Evelina
    LANGUAGE AND COGNITIVE PROCESSES, 2013, 28 (1-2): : 88 - 124
  • [42] The future of social networks on the internet - The need for semantics
    Breslin, John
    Decker, Stefan
    IEEE INTERNET COMPUTING, 2007, 11 (06) : 86 - 90
  • [43] Do You Need Infinite Time?
    Artale, Alessandro
    Mazzullo, Andrea
    Ozaki, Ana
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 1516 - 1522
  • [44] Paraconsistency and word puzzles
    Gao, Tiantian
    Fodor, Paul
    Kifer, Michael
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 703 - 720
  • [45] The psychological aspects of paraconsistency
    Konrad Rudnicki
    Synthese, 2021, 199 : 4393 - 4414
  • [46] Paraconsistency and modal systems
    Abe, JM
    ADVANCES IN INTELLIGENT SYSTEMS AND ROBOTICS, 2003, 101 : 74 - 79
  • [47] Weak consistency and strong paraconsistency
    Robles, Gemma
    TRIPLEC-COMMUNICATION CAPITALISM & CRITIQUE, 2009, 7 (02): : 185 - 193
  • [48] ENTAILMENT, PERFECT VALIDITY AND PARACONSISTENCY
    TENNANT, N
    JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (01) : 322 - 323
  • [49] Quine and Slater on Paraconsistency and Deviance
    Francesco Paoli
    Journal of Philosophical Logic, 2003, 32 : 531 - 548
  • [50] The dialogical dynamics of adaptive paraconsistency
    Rahman, S
    Van Bendegem, JP
    PARACONSISTENCY: THE LOGICAL WAY TO THE INCONSISTENT, 2002, 228 : 295 - 322
12345