Reductions in Intuitionistic Linear Logic

DOI10.1017/S0960129500001201MaRDI QIDQ4882488zbMATH OpenOpenAlexFDO

Authors Serguei V. Solov'ev

Publication date 15 July 1996

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129500001201

zbMATH Keywords

Intuitionistic Linear Logicreductions

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 512773
• A normalizing system of natural deduction for intuitionistic linear logic
• Linearizing intuitionistic implication
• On the linear decoration of intuitionistic derivations

Cites work

• Deductive systems and categories
• On the conditions of full coherence in closed categories
• Preservation of equivalence of derivations under reduction of depth of formulas
• Propositional Calculus and Realizability
• The PRIZ system and propositional calculus

Cited in

(11)

• Linearizing intuitionistic implication
• On the linear decoration of intuitionistic derivations
• On categorical equivalence of Gentzen-style derivations in IMLL
• Reduction and introducers in \(d\)-contexts
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Describing a basis in semireduced form for inference rules of intuitionistic logic
• scientific article; zbMATH DE number 4014037 (Why is no real title available?)
• scientific article; zbMATH DE number 6350981 (Why is no real title available?)
• scientific article; zbMATH DE number 2095713 (Why is no real title available?)
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
• Decomposition of reduction

This page was built for publication: Reductions in Intuitionistic Linear Logic

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