TY - JOUR AU - Tsinakis, Constantine AU - Zhang, Han IS - 2 JA - Studia Logica PB - Springer PY - 2004 TI - Order algebras as models of linear logic VL - 76 ER -