Labeled calculi and finite-valued logics

被引：27
|
作者：
Baaz M. [1 ]
Fermüllbr C.G. [2 ]
Salzer G. [2 ]
Zach R. [2 ,3 ]
机构：
[1] Institut für Algebra und Diskrete Mathematik E118.2, Technische Universität Wien
[2] Institut für Computersprachen E185.2, Technische Universität Wien
[3] Group in Logic and the Methodology of Science, University of California, Berkeley
来源：
Studia Logica | 1998年 / 61卷 / 1期
关键词：
Finite-valued logic; Labeled calculus; Sets-as-signs; Signed formula;
D O I：
10.1023/A:1005022012721
中图分类号：
学科分类号：
摘要：
A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite-valued logic if the labels are interpreted as sets of truth values (sets-as-signs). Furthermore, it is shown that any finite-valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the number of truth values, and it is shown that this bound is tight. ©1998 Kluwer Academic Publishers.
引用
收藏
页码：7 / 33
页数：26
相关论文
共 50 条
  • [1] 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
  • [2] Quantum computational finite-valued logics
    Bertini, Cesarino
    Leporini, Roberto
    [J]. INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2007, 5 (05) : 641 - 665
  • [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-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] Finite-valued reductions of infinite-valued logics
    Aguzzoli, S
    Gerla, B
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (04) : 361 - 399
  • [7] 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
  • [8] Finite-valued Semantics for Canonical Labelled Calculi
    Baaz, Matthias
    Lahav, Ori
    Zamansky, Anna
    [J]. JOURNAL OF AUTOMATED REASONING, 2013, 51 (04) : 401 - 430
  • [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