Correctness of Multiplicative (and Exponential) Proof Structures is NL-Complete
From MaRDI portal
Publication:3608429
DOI10.1007/978-3-540-74915-8_33zbMath1179.03063MaRDI 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
03F07: Structure of proofs
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Proof nets for multiplicative cyclic linear logic and Lambek calculus, A linear algorithm for MLL proof net correctness and sequentialization