Labeled Calculi and Finite-Valued Logics |
| |
Authors: | Matthias Baaz Christian G Fermüller Gernot Salzer Richard Zach |
| |
Institution: | (1) Institut für Algebra und Diskrete Mathematik, Technische Universität Wien, E118.2, A-1040 Vienna, Austria |
| |
Abstract: | 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. |
| |
Keywords: | finite-valued logic labeled calculus signed formula sets-as-signs |
本文献已被 SpringerLink 等数据库收录! |
|