A typed calculus based on a fragment of linear logic

DOI10.1016/0304-3975(89)90168-0MaRDI QIDQ908909zbMATH OpenOpenAlexFDO

Authors Ugo Solitro

Publication date 1989

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(89)90168-0

zbMATH Keywords

natural deductioncut eliminationnormalization\(\nu\)-calculusChurch-Rosser propertiesmultiplicative second order linear logicproof-netsequent rules

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 512773
• On the \(\pi\)-calculus and linear logic
• A mixed -calculus
• A language for multiplicative-additive linear logic
• THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS

Cites work

• scientific article; zbMATH DE number 4091500 (Why is no real title available?)
• scientific article; zbMATH DE number 3556029 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• Linear logic
• The lambda calculus, its syntax and semantics
• The system \({\mathcal F}\) of variable types, fifteen years later

Cited in

(11)

• Classical linear logic of implications
• scientific article; zbMATH DE number 1948180 (Why is no real title available?)
• A language for multiplicative-additive linear logic
• Computational interpretations of linear logic
• Quantitative types for the linear substitution calculus
• Local computation in linear logic
• A mixed -calculus
• Weak typed Böhm theorem on IMLL
• THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
• Varieties of linear calculi
• Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic

This page was built for publication: A typed calculus based on a fragment of linear logic

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