Finite-valued reductions of infinite-valued logics

被引：0
|
作者：
Stefano Aguzzoli
Brunella Gerla
机构：
[1] ITC-IRST,
[2] Via Sommarive 18,undefined
[3] 38050 Trento,undefined
[4] Italy,undefined
[5] Department of Computer Science,undefined
[6] University of Milan,undefined
[7] Via Comelico 39,undefined
[8] 20135 Milano,undefined
[9] Italy. e-mail: {aguzzoli; gerlab}@dsi.unimi.it,undefined
来源：
Archive for Mathematical Logic | 2002年 / 41卷
关键词：
Decision Problem; Propositional Logic; Alternative Proof; Product Logic; Tautology Problem;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
 In this paper we present a method to reduce the decision problem of several infinite-valued propositional logics to their finite-valued counterparts. We apply our method to Łukasiewicz, Gödel and Product logics and to some of their combinations. As a byproduct we define sequent calculi for all these infinite-valued logics and we give an alternative proof that their tautology problems are in co-NP.
引用
收藏
页码：361 / 399
页数：38
相关论文
共 50 条
  • [1] Finite-valued reductions of infinite-valued logics
    Aguzzoli, S
    Gerla, B
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (04) : 361 - 399
  • [2] Finite-Valued or Infinite-Valued Logical Paradoxes
    郑敏信
    肖奚安
    朱梧檟
    [J]. Journal of Mathematical Research with Applications, 1985, (03) : 14 - 14
  • [3] Quantum computational finite-valued logics
    Bertini, Cesarino
    Leporini, Roberto
    [J]. INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2007, 5 (05) : 641 - 665
  • [4] Labeled calculi and finite-valued logics
    Baaz M.
    Fermüllbr C.G.
    Salzer G.
    Zach R.
    [J]. Studia Logica, 1998, 61 (1) : 7 - 33
  • [5] Finite-valued Logics for Information Processing
    Avron, Arnon
    Konikowska, Beata
    [J]. FUNDAMENTA INFORMATICAE, 2012, 114 (01) : 1 - 30
  • [6] On Strong Maximality of Paraconsistent Finite-Valued Logics
    Avron, Arnon
    Arieli, Ofer
    Zamansky, Anna
    [J]. 25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 304 - 313
  • [7] Quantum Conservative Gates for Finite-Valued Logics
    Gianpiero Cattaneo
    Alberto Leporati
    Roberto Leporini
    [J]. International Journal of Theoretical Physics, 2004, 43 : 1769 - 1791
  • [8] Quantum conservative gates for finite-valued logics
    Cattaneo, G
    Leporati, A
    Leporini, R
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2004, 43 (7-8) : 1769 - 1791
  • [9] Finite Satisfiability in Infinite-Valued Lukasiewicz Logic
    Schockaert, Steven
    Janssen, Jeroen
    Verrmeir, Dirk
    De Cock, Martine
    [J]. SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2009, 5785 : 240 - +
  • [10] Tableaux for finite-valued logics with arbitrary distribution modalities
    Fermüller, CG
    Langsteiner, H
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 156 - 171
12345