Sequent systems for compact bilinear logic

Wojciech Buszkowski. Sequent systems for compact bilinear logic. Math. Log. Q., 49(5):467-474, 2003. [doi]

Abstract

Abstract is missing.