Technical Reports

The ICICS/CS Reading Room


UBC CS TR-77-11 Summary

Duals of Intuitionistic Tableaus, October 1977 G. Criscuolo and R. Tortora

We present a dual version of the intuitionistic Beth tableaus with signed formulas introduced in Fitting $\mid9\mid$ proving their correctness and completeness with respect to Kripke models.


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.