Exchange rules

DOI10.2307/2695028zbMath0988.03091OpenAlexW4246287384MaRDI QIDQ2747701

Mario Piazza

Publication date: 14 July 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2695028

zbMATH Keywords

cut eliminationsequent calculuslogic without structural rulesnoncommutative linear logic with exponentialssaturated formulas

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Adding logic to the toolbox of molecular biology

Cites Work

• Decision problems for propositional linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Saturated formulas in full linear logic

This page was built for publication: Exchange rules