Commutative Locative Quantifiers for Multiplicative Linear Logic

DOI10.1007/11787006_34zbMath1134.03033OpenAlexW1505129525MaRDI QIDQ3591406

Patrizia Marzuoli, Stefano Guerrini

Publication date: 11 September 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11787006_34

zbMATH Keywords

linear logicproof netsLudics

Mathematics Subject Classification ID

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

This page was built for publication: Commutative Locative Quantifiers for Multiplicative Linear Logic