Sequentialization for N-Graphs via Sub-N-Graphs

DOI10.1007/978-3-662-44145-9_7zbMath1430.03072OpenAlexW2218005905MaRDI QIDQ2938133

Laís Andrade, Ruan Carvalho, Anjolina de Oliveira, Ruy J. G. B. de Queiroz

Publication date: 13 January 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44145-9_7

zbMATH Keywords

sequent calculusnatural deductionsubnets\(n\)-graphsMLL\(^{ - }\)

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Normalization of N-graphs via sub-N-graphs

This page was built for publication: Sequentialization for N-Graphs via Sub-N-Graphs