Proof search and counter-model construction for Biintuitionistic propositional logic with labelled sequents (2009)

by L Pinto, T Uustalu
Venue:In Int. Conference on Analytic Tableaux and Related Methods, TABLEAUX 2009, LNAI 5607