Phase semantics for a pure noncommutative linear propositional logic

DOI10.1007/BF02946519MaRDI QIDQ1288431zbMATH OpenFDO

Authors Mingsheng 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)

Recommendations

• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Noncommutative linear logic and its quantale semantics
• Non‐commutative intuitionistic linear logic

Cites work

• scientific article; zbMATH DE number 218517 (Why is no real title available?)
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• Linear logic
• Non‐commutative intuitionistic linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Quantales and (noncommutative) linear logic

Cited in

(5)

• Noncommutative linear logic and its quantale semantics
• scientific article; zbMATH DE number 2185722 (Why is no real title available?)
• Non-commutative logic II: sequent calculus and phase semantics
• scientific article; zbMATH DE number 1078383 (Why is no real title available?)
• On phase semantics and denotational semantics in multiplicative-additive linear logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1288431)