Phase semantics for a pure noncommutative linear propositional logic

DOI10.1007/BF02946519zbMath0919.03006MaRDI QIDQ1288431

Ming Sheng Ying

Publication date: 23 August 1999

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

completenesslinear logicphase semanticssoundnessnoncommutativity

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Linear logic
• Quantales and (noncommutative) linear logic
• Non‐commutative intuitionistic linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic

This page was built for publication: Phase semantics for a pure noncommutative linear propositional logic