Correctness of Multiplicative (and Exponential) Proof Structures is NL-Complete
From MaRDI portal
Publication:3608429
DOI10.1007/978-3-540-74915-8_33zbMath1179.03063OpenAlexW1810039454MaRDI QIDQ3608429
Paulin Jacobé de Naurois, Virgile Mogbil
Publication date: 5 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_33
Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Proof nets for multiplicative cyclic linear logic and Lambek calculus, A linear algorithm for MLL proof net correctness and sequentialization