A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus.

Andrzej Indrzejczak, Yaroslav I. Petrukhin

Browse the full CADE paper archive.