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 条
  • [31] Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions
    Aguzzoli, S
    Ciabattoni, A
    Di Nola, A
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2000, 10 (02) : 213 - 222
  • [32] On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth
    Angel J. Gil
    [J]. Studia Logica, 2013, 101 : 749 - 781
  • [33] On Finite-Valued Cohomology Theories
    Baladze V.
    Tsinaridze R.
    [J]. Journal of Mathematical Sciences, 2013, 193 (3) : 369 - 373
  • [34] FINITE-VALUED DISTANCE AUTOMATA
    WEBER, A
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 134 (01) : 225 - 251
  • [35] The deepest repetition-free decompositions of nonsingular functions of finite-valued logics
    Sokhatsky, F
    [J]. 1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1996, : 279 - 282
  • [36] ON CONTINUOUS SELECTIONS OF FINITE-VALUED SET-VALUED MAPPINGS
    Zhukovskiy, S. E.
    [J]. EURASIAN MATHEMATICAL JOURNAL, 2018, 9 (01): : 83 - 87
  • [37] An infinite-valued semantics for logic programs with negation
    Rondogiannis, P
    Wadge, WW
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 456 - 467
  • [38] Consequence and complexity in infinite-valued logic: a survey
    Marra, V
    Mundici, D
    [J]. ISMVL 2002: 32ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2002, : 104 - 114
  • [39] INFINITE-VALUED ASYMPTOTIC POINTS AND KOEBE ARCS
    NJASTAD, O
    [J]. MATHEMATICA SCANDINAVICA, 1966, 19 (02) : 172 - &
  • [40] Reconstruction of Finite-Valued Sparse Signals
    Keiper, Sandra
    Kutyniok, Gitta
    Lee, Dae Gwan
    Pfander, Goetz
    [J]. WAVELETS AND SPARSITY XVII, 2017, 10394
12345