Reductions in Intuitionistic Linear Logic

DOI10.1017/S0960129500001201zbMath0847.03005OpenAlexW2118829502MaRDI QIDQ4882488

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

reductionsIntuitionistic Linear Logic

Mathematics Subject Classification ID

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

Related Items (2)

Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ On categorical equivalence of Gentzen-style derivations in IMLL

Cites Work

• 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
• Deductive systems and categories
• Propositional Calculus and Realizability

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