Generalized connectives for multiplicative linear logic

DOI10.4230/LIPICS.CSL.2020.6OpenAlexW3003894521MaRDI QIDQ5874191

Roberto Maieli, Matteo Acclavio

Publication date: 7 February 2023

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

zbMATH Keywords

sequent calculuslinear logicproof netspartitions sets

Mathematics Subject Classification ID

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

Related Items (2)

An Analytic Propositional Proof System on Graphs ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

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