Local computation in linear logic

DOI10.1002/MALQ.19930390123zbMath0799.03005OpenAlexW2058461169MaRDI QIDQ4304131

Silvio Valentini, Ugo Solitro

Publication date: 5 October 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19930390123

zbMATH Keywords

normalizabilitysequent calculusconfluencecut-eliminationconstructive logicCurry-Howard isomorphismexponential fragment of Girard's linear logic without the contraction ruletyped calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• A typed calculus based on a fragment of linear logic
• THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS

This page was built for publication: Local computation in linear logic