Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents.

Lus Pinto, Tarmo Uustalu

Browse the full TABLEAUX paper archive.