[FOM] Gentzen sequent calculus or ND system for Kleene's 3-valued logics

[Tennant, Neil]

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?
Neil Tennant
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150430/8466ab6b/attachment-0001.html>