论文部分内容阅读
We use a many-sorted language to remove commutativity from phasesemantics of linear logic and show that pure noncommutativeintuitionistic linear propositional logic plus two classical rulesenjoys the soundness and completeness with respect to completelynoncommutative phase semantics.