Order Algebras as Models of Linear Logic

Constantine Tsinakis, Han Zhang. Order Algebras as Models of Linear Logic. Studia Logica, 76(2):201-225, 2004. [doi]

Abstract

Abstract is missing.