Phase semantics for a pure noncommutative linear propositional logic
- 18 Downloads
We use a many-sorted language to remove commutativity from phase semantics of linear logic and show that pure noncommutative intuitionistic linear propositional logic plus two classical rules enjoys the soundness and completeness with respect to completely noncommutative phase semantics.
Keywordslinear logic phase semantics noncommutativity
Unable to display preview. Download preview PDF.
- Girard J-Y. Towards a geometry of interaction. InCategories in Computer Science and Logic. Contemporary Mathematics 92, American Mathematical Society, Providence, Rhode Island, 1989, pp.69–108.Google Scholar
- Abrusci V M. Sequent calculus for intuitionistic linear propositional logic.Mathematical Logic, P. P. Petkov (ed.), New York: Plenum Press, 1990, pp.223–242.Google Scholar