Construction of Retractile Proof Structures

DOI10.1007/978-3-319-08918-8_22zbMath1417.03224OpenAlexW2185367022MaRDI QIDQ5170825

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

graph rewritingsequent calculuslinear logicproof netsproof searchfocusing proofsproof constructionproof net retraction

Mathematics Subject Classification ID

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

Related Items (2)

Proof nets for multiplicative cyclic linear logic and Lambek calculus ⋮ Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing

This page was built for publication: Construction of Retractile Proof Structures