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 条
  • [31] 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
  • [32] On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Lukasiewicz
    Radzki, Mateusz M.
    [J]. HISTORY AND PHILOSOPHY OF LOGIC, 2022, 43 (01) : 70 - 79
  • [33] Calculi for Many-Valued Logics
    Kaminski, Michael
    Francez, Nissim
    [J]. LOGICA UNIVERSALIS, 2021, 15 (02) : 193 - 226
  • [34] Calculi for Many-Valued Logics
    Michael Kaminski
    Nissim Francez
    [J]. Logica Universalis, 2021, 15 : 193 - 226
  • [35] Equivalence of Finite-Valued Symbolic Finite Transducers
    Veanes, Margus
    Bjorner, Nikolaj
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2015, 2016, 9609 : 276 - 290
  • [36] Reconstruction of Finite-Valued Sparse Signals
    Keiper, Sandra
    Kutyniok, Gitta
    Lee, Dae Gwan
    Pfander, Goetz
    [J]. WAVELETS AND SPARSITY XVII, 2017, 10394
  • [37] Finite-valued approximations of product logic
    Aguzzoli, S
    Gerla, B
    [J]. 30TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2000, : 179 - 184
  • [38] FINITE-VALUED MAPPINGS PRESERVING DIMENSION
    Spevak, Jan
    [J]. HOUSTON JOURNAL OF MATHEMATICS, 2011, 37 (01): : 327 - 348
  • [39] Cut-free sequent calculi for C-systems with generalized finite-valued semantics
    Avron, Arnon
    Konikowska, Beata
    Zamansky, Anna
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (03) : 517 - 540
  • [40] OPTIMAL CONTROL OF FINITE-VALUED NETWORKS
    Cheng, Daizhan
    Zhao, Yin
    Liu, Jiang-Bo
    [J]. ASIAN JOURNAL OF CONTROL, 2014, 16 (04) : 1179 - 1190
12345