Commutative Locative Quantifiers for Multiplicative Linear Logic

DOI10.1007/11787006_34MaRDI QIDQ3591406zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Quantales and structural rules
• Interaction graphs: multiplicatives
• Proof nets for unit-free multiplicative-additive linear logic
• First order in Ludics
• Quantales and (noncommutative) linear logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3591406)