Duals of Intuitionistic Tableaus

ID
TR-77-11
Authors
G. Criscuolo and R. Tortora
Publishing date
October 1977
Abstract
We present a dual version of the intuitionistic Beth tableaus with signed formulas introduced in Fitting [9] proving their correctness and completeness with respect to Kripke models.