78
Voted
TABLEAUX
1995
Springer
15 years 10 days ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...