Generalized connectives for multiplicative linear logic

DOI10.4230/LIPICS.CSL.2020.6MaRDI QIDQ5874191zbMATH OpenOpenAlexFDO

Authors Matteo Acclavio, Roberto Maieli

Publication date 7 February 2023

Full work available at URL https://hal.archives-ouvertes.fr/hal-02492258

zbMATH Keywords

linear logicpartitions setsproof netssequent calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cited in

(6)

• Acyclicity and Coherence in Multiplicative Exponential Linear Logic
• An Analytic Propositional Proof System on Graphs
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• Harmony in the light of computational ludics
• Logic programming with multiplicative structures
• Sequent systems on undirected graphs

This page was built for publication: Generalized connectives for multiplicative linear logic

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