scientific article; zbMATH DE number 7439428

zbMath1477.03252arXiv1502.04771MaRDI QIDQ5015210

Taus Brock-Nannestad, Nicolas Guenot

Publication date: 6 December 2021

Full work available at URL: https://arxiv.org/abs/1502.04771

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

On concurrent behaviors and focusing in linear logic, Multi-focused cut elimination

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Proof nets, garbage, and computations
• On the unity of duality
• Structural Focalization
• From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
• Logic Programming with Focusing Proofs in Linear Logic
• Focused Natural Deduction
• Focusing Strategies in the Sequent Calculus of Synthetic Connectives