A SEQUENT CALCULUS FOR LUKASIEWICZ'S THREE-VALUED LOGIC BASED ON SUSZKO'S BIVALENT SEMANTICS
Jean-Yves Béziau · Bulletin of the Section of Logic · 1999
A sequent calculus S3 for Lukasiewicz’s logic L3 is presented. The completeness theorem is proved relatively to a bivalent semantics equivalent to the non truthfunctional bivalent semantics for L3 proposed by Suszko in 1975. A distinguishing property of the approach proposed here is that we are keeping the format of the classical sequent calculus as much as possible.