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

[Ferguson, Thomas]

Dear Prof. Tennant,

Marcelo Coniglio and Maria Corbalán have a paper "Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics." Because the "internal fragment" of Bochvar's logic is equivalent to weak, 3-valued Kleene logic, the paper introduces a cut-free sequent calculus for weak Kleene logic.

An offprint may be found at: http://www.cle.unicamp.br/prof/coniglio/Coniglio-Corbalan-EPTCS.pdf

I hope this is helpful.

Respectfully,

Thomas Ferguson