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

Ferguson, Thomas TFerguson at gc.cuny.edu
Fri May 1 13:57:38 EDT 2015

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.


Thomas Ferguson

More information about the FOM mailing list