Relations and non-commutative linear logic
From MaRDI portal
Publication:1910723
DOI10.1016/0022-4049(94)00147-2zbMath0841.03002MaRDI QIDQ1910723
Publication date: 20 March 1996
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(94)00147-2
cut elimination; sequent calculus; relational quantales; non-commutative intuitionistic linear logic
03F05: Cut-elimination and normal-form theorems
06F05: Ordered semigroups and monoids
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
A representation theorem for quantales, Lambek calculus and its relational semantics: Completeness and incompleteness, Relations and non-commutative linear logic
Cites Work
- Linear logic
- The weakest prespecification
- Natural deduction and coherence for weakly distributive categories
- Decision problems for propositional linear logic
- A representation theorem for quantales
- Relations and non-commutative linear logic
- Quantales and (noncommutative) linear logic
- Constructing locales from quantales
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item