Combining many-valued and intuitionistic tableaux

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-61208-4_5 ◽

1996 ◽

pp. 65-79 ◽

Cited By ~ 3

Author(s):

Matthias Baaz ◽

Christian G. Fermüller