Reductions in Intuitionistic Linear Logic

DOI10.1017/S0960129500001201zbMATH Open0847.03005OpenAlexW2118829502MaRDI QIDQ4882488FDOQ4882488

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

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

zbMATH Keywords

reductionsIntuitionistic Linear Logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (11)

• Title not available (Why is that?)
• On categorical equivalence of Gentzen-style derivations in IMLL
• Title not available (Why is that?)
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Linearizing intuitionistic implication
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
• Title not available (Why is that?)
• Decomposition of reduction
• Reduction and introducers in \(d\)-contexts
• Describing a basis in semireduced form for inference rules of intuitionistic logic
• On the linear decoration of intuitionistic derivations

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)