Construction of retractile proof structures

DOI10.1007/978-3-319-08918-8_22MaRDI QIDQ5170825zbMATH OpenOpenAlexFDO

Authors Roberto Maieli

Publication date 24 July 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08918-8_22

zbMATH Keywords

focusing proofsgraph rewritinglinear logicproof constructionproof net retractionproof netsproof searchsequent calculus

Mathematics Subject Classification ID

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

Recommendations

• Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
• Rewritings for polarized multiplicative and exponential proof structures
• Focussing and proof construction
• Sequent reconstruction in LLM -- A sweepline proof
• Connection-based proof construction in linear logic

Cited in

(5)

• Constructions preserving evasiveness and collapsibility
• Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing
• scientific article; zbMATH DE number 6149557 (Why is no real title available?)
• Proof nets for multiplicative cyclic linear logic and Lambek calculus
• Logic programming with multiplicative structures

This page was built for publication: Construction of retractile proof structures

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