Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic

DOI10.1007/978-3-540-75560-9_27zbMath1137.03324OpenAlexW2166861684MaRDI QIDQ3498480

Roberto Maieli

Publication date: 15 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75560-9_27

Mathematics Subject Classification ID

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

Related Items (5)

Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing ⋮ A proof of the focusing theorem via MALL proof nets ⋮ Proof nets for multiplicative cyclic linear logic and Lambek calculus ⋮ Unnamed Item ⋮ Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing

This page was built for publication: Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic