Return to Article Details Relations and Non-commutative Linear Logic Download Download PDF