Tableaux for finite-valued logics with arbitrary distribution modalities

被引：0
|
作者：
Fermüller, CG [1 ]
Langsteiner, H [1 ]
机构：
[1] Vienna Univ Technol, Inst Comp Sprachen, A-1040 Vienna, Austria
来源：
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS | 1998年 / 1397卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We generalize finite-valued modal logics by introducing the concept of distribution modalities in analogy to distribution quantifiers. Sound and complete proof search procedures are provided using prefixed signed tableaux. Examples indicate that our generalized concept of modalities is indeed needed to formalize different types of statements in contexts of "graded truth" and inconsistent or incomplete databases.
引用
收藏
页码：156 / 171
页数：16
相关论文
共 50 条
  • [1] Classic-Like Analytic Tableaux for Finite-Valued Logics
    Caleiro, Carlos
    Marcos, Joao
    [J]. LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 268 - +
  • [2] Quantum computational finite-valued logics
    Bertini, Cesarino
    Leporini, Roberto
    [J]. INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2007, 5 (05) : 641 - 665
  • [3] Labeled calculi and finite-valued logics
    Baaz M.
    Fermüllbr C.G.
    Salzer G.
    Zach R.
    [J]. Studia Logica, 1998, 61 (1) : 7 - 33
  • [4] Finite-valued Logics for Information Processing
    Avron, Arnon
    Konikowska, Beata
    [J]. FUNDAMENTA INFORMATICAE, 2012, 114 (01) : 1 - 30
  • [5] Finite-valued reductions of infinite-valued logics
    Stefano Aguzzoli
    Brunella Gerla
    [J]. Archive for Mathematical Logic, 2002, 41 : 361 - 399
  • [6] Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
    Caleiro, Carlos
    Marcos, Joao
    Volpe, Marco
    [J]. THEORETICAL COMPUTER SCIENCE, 2015, 603 : 84 - 110
  • [7] Finite-valued reductions of infinite-valued logics
    Aguzzoli, S
    Gerla, B
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (04) : 361 - 399
  • [8] 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
  • [9] Quantum Conservative Gates for Finite-Valued Logics
    Gianpiero Cattaneo
    Alberto Leporati
    Roberto Leporini
    [J]. International Journal of Theoretical Physics, 2004, 43 : 1769 - 1791
  • [10] 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
12345