Connection-Based Proof Construction in Non-commutative Logic.

Didier Galmiche, J.-M. Notin

Browse the full LPAR paper archive.