Tableaux and Dual Tableaux: Transformation of Proofs

Joanna Golinska-Pilarek, Ewa Orlowska. Tableaux and Dual Tableaux: Transformation of Proofs. Studia Logica, 85(3):283-302, 2007. [doi]

Abstract

Abstract is missing.