Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics.

Chuck C. Liang

Browse the full LICS paper archive.