A Sequent Axiomatization of Three-valued Logic with Two Negations.

Douglas R. Busch

Browse the full LPNMR paper archive.