Cut elimination for the unified logic

DOI10.1016/0168-0072(93)90184-FzbMath0786.03041OpenAlexW1987815301MaRDI QIDQ2367410

Jacqueline Vauzeilles

Publication date: 9 August 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(93)90184-f

zbMATH Keywords

linear logiccut-eliminationunified logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items

A new deconstructive logic: linear logic

Cites Work

• Linear logic
• On the unity of logic
• Bounded linear logic: A modular approach to polynomial-time computability
• Generating plans in linear logic. I: Actions as proofs
• A new constructive logic: classic logic
• Logic Programming with Focusing Proofs in Linear Logic
• Unnamed Item
• Unnamed Item