Rewritings for polarized multiplicative and exponential proof structures

DOI10.1016/J.ENTCS.2008.03.037MaRDI QIDQ2870318zbMATH OpenOpenAlexFDO

Authors Christophe Fouqueré, Virgile Mogbil

Publication date 17 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.03.037

zbMATH Keywords

focalizationlinear logiclogic programmingproof-nets

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Logic programming (68N17) Grammars and rewriting systems (68Q42)

Recommendations

• Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
• Minimality of the correctness criterion for multiplicative proof nets
• scientific article; zbMATH DE number 1342282
• Parsing MELL proof nets
• Correctness of Multiplicative (and Exponential) Proof Structures is NL-Complete

Cites work

• Automata, Languages and Programming
• Computer Science Logic
• Focussing and proof construction
• scientific article; zbMATH DE number 2090322 (Why is no real title available?)
• scientific article; zbMATH DE number 786495 (Why is no real title available?)
• Linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• On the unity of logic
• Syntax vs. semantics: A polarized approach
• The structure of multiplicatives

Cited in

(3)

• scientific article; zbMATH DE number 1342282 (Why is no real title available?)
• Jump from parallel to sequential proofs: exponentials
• Construction of retractile proof structures

This page was built for publication: Rewritings for polarized multiplicative and exponential proof structures

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