Finite-Valued or Infinite-Valued Logical Paradoxes

被引：1
|
作者：
郑敏信
肖奚安
朱梧檟
机构：
来源：
Journal of Mathematical Research with Applications | 1985年 / 03期
关键词：
In;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In the past, people tried to exclude paradoxes only by the developing of multiple-valued logic system rather than the modification of comprehensive principle. Nevertheless, paper[1] proved that any mathematical system which satisfies conditions:
引用
收藏
页码：14 / 14
页数：1
相关论文
共 50 条
  • [1] Finite-valued reductions of infinite-valued logics
    Stefano Aguzzoli
    Brunella Gerla
    [J]. Archive for Mathematical Logic, 2002, 41 : 361 - 399
  • [2] Finite-valued reductions of infinite-valued logics
    Aguzzoli, S
    Gerla, B
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (04) : 361 - 399
  • [3] ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI
    ANSHAKOV, OM
    RYCHKOV, SV
    [J]. MATHEMATICS OF THE USSR-SBORNIK, 1984, 123 (3-4): : 473 - 491
  • [4] Finite Satisfiability in Infinite-Valued Lukasiewicz Logic
    Schockaert, Steven
    Janssen, Jeroen
    Verrmeir, Dirk
    De Cock, Martine
    [J]. SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2009, 5785 : 240 - +
  • [5] Finite-valued multiselections
    Gutev, Valentin
    [J]. TOPOLOGY AND ITS APPLICATIONS, 2017, 225 : 46 - 52
  • [6] Bookmaking over infinite-valued events
    Mundici, Daniele
    [J]. International Journal of Approximate Reasoning, 2006, 43 (03): : 223 - 240
  • [7] The Complexity of Finite-Valued CSPs
    Thapper, Johan
    Zivny, Stanislav
    [J]. JOURNAL OF THE ACM, 2016, 63 (04)
  • [8] FINITE-VALUED ALGEBRAIC LATTICES
    SNODGRASS, JT
    TSINAKIS, C
    [J]. ALGEBRA UNIVERSALIS, 1993, 30 (03) : 311 - 318
  • [9] Maximal infinite-valued constraint languages
    Bodirsky, Manuel
    Chen, Hubie
    Kara, Jan
    von Oertzen, Timo
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2007, 4596 : 546 - +
  • [10] Maximal infinite-valued constraint languages
    Bodirsky, Manuel
    Chen, Hubie
    Kara, Jan
    von Oertzen, Timo
    [J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (18) : 1684 - 1693
12345