On the linear decoration of intuitionistic derivations

DOI10.1007/BF02390456zbMath0820.03036MaRDI QIDQ1345901

Vincent Danos, Harold Schellinx, Jean-Baptiste Joinet

Publication date: 11 September 1995

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

zbMATH Keywords

linear logicproof theorytranslationintuitionistic logicintuitionistic sequent calculusproof- by-proof embeddingunified logic

Mathematics Subject Classification ID

Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic ⋮ Unnamed Item ⋮ A new deconstructive logic: linear logic

Cites Work

• Linear logic
• On the unity of logic
• Some Syntactical Observations on Linear Logic
• A new deconstructive logic: linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the linear decoration of intuitionistic derivations