Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions
- 1 April 2000
- journal article
- Published by Oxford University Press (OUP) in Journal of Logic and Computation
- Vol. 10 (2) , 213-222
- https://doi.org/10.1093/logcom/10.2.213
Abstract
In this paper we define internal cut-free sequent calculi for any n-valued Lukasiewicz logic Ln. These calculi are based on a representation of formulas of Ln, by n - 1 many {0, 1}-valued formulas of Ln. They enjoy the usual properties of sequent systems like symmetry, subformula property and invertibility of the rules. Upon dualizing our calculi one obtains Hähnle's tableau systems. Then they provide a reformulation of Hähnle's approach to theorem proving that makes no use of nonlogical elements.Keywords
This publication has 0 references indexed in Scilit: