A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems.

Hiu Fai Chau

Browse the full LPAR paper archive.