Rewritings for Polarized Multiplicative and Exponential Proof Structures

DOI10.1016/j.entcs.2008.03.037zbMath1279.03081OpenAlexW2001663428MaRDI QIDQ2870318

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

linear logiclogic programmingproof-netsfocalization

Mathematics Subject Classification ID

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

Related Items

Jump from parallel to sequential proofs: exponentials

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• On the unity of logic
• The structure of multiplicatives
• Focussing and proof construction
• Syntax vs. semantics: A polarized approach
• Logic Programming with Focusing Proofs in Linear Logic
• Computer Science Logic
• Automata, Languages and Programming