Realizability Proof for Normalization of Full Differential Linear Logic

DOI10.1007/978-3-642-21691-6_11MaRDI QIDQ3007660zbMATH OpenOpenAlexFDO

Authors Stéphane Gimenez

Publication date 17 June 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-21691-6_11

zbMATH Keywords

differential interaction netsdifferential linear logiclinear logicproof netsrealizabilityweak normalization

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• On proof normalization in linear logic
• Normal deduction in the intuitionistic linear logic
• Natural Deduction and Weak Normalization for Full Linear Logic
• Linear Logic and Strong Normalization
• Normalization of deductions and interpolation for some logics of provability
• A normalizing system of natural deduction for intuitionistic linear logic
• scientific article; zbMATH DE number 1082077
• A note on full intuitionistic linear logic
• Normalization theorems for full first order classical natural deduction
• Full intuitionistic linear logic

Cites work

• Differential interaction nets
• scientific article; zbMATH DE number 786495 (Why is no real title available?)
• Intuitionistic differential nets and lambda-calculus
• Linear logic
• Strong normalization property for second order linear logic
• The Cut-Elimination Theorem for Differential Nets with Promotion
• The differential lambda-calculus
• Uniformity and the Taylor expansion of ordinary lambda-terms

Cited in

(4)

• An introduction to differential linear logic: proof-nets, models and antiderivatives
• The conservation theorem for differential nets
• Unifying graded linear logic and differential operators
• A deep inference system for differential linear logic

This page was built for publication: Realizability Proof for Normalization of Full Differential Linear Logic

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