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

Cached

Download Links

by Luís Pinto , Tarmo Uustalu
Citations:6 - 1 self