On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth |
| |
Authors: | Angel J. Gil |
| |
Affiliation: | 1. Department of Economics and Business Sciences, Universitat Pompeu Fabra, C/ Trias Fargas 25, 08005, Barcelona, Spain
|
| |
Abstract: | When considering m-sequents, it is always possible to obtain an m-sequent calculus VL for every m-valued logic (defined from an arbitrary finite algebra L of cardinality m) following for instance the works of the Vienna Group for Multiple-valued Logics. The Gentzen relations associated with the calculi VL are always finitely equivalential but might not be algebraizable. In this paper we associate an algebraizable 2-Gentzen relation with every sequent calculus VL in a uniform way, provided the original algebra L has a reduct that is a distributive lattice or a pseudocomplemented distributive lattice. We also show that the sentential logic naturally associated with the provable sequents of this algebraizable Gentzen relation is the logic that preserves degrees of truth with respect to the original algebra (in contrast with the more common logic that merely preserves truth). Finally, for some particular logics we obtain 2-sequent calculi that axiomatize the algebraizable Gentzen relations obtained so far. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|