[FOM] Gentzen sequent calculus or ND system for Kleene's 3-valued logics
tennant.9 at osu.edu
Thu Apr 30 09:13:15 EDT 2015
Could any fom-er be so kind as to provide an optimal reference for a (complete) Gentzen sequent calculus (and/or natural-deduction system) for Kleene's 3-valued logic (weak or strong)?---preferably, one for which a cut-elimination (resp., normalization) theorem is proved?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM