Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence.

Johannes Oetsch, Hans Tompits

Browse the full LPNMR paper archive.