DROPS

Document

DOI: 10.4230/LIPIcs.CSL.2020.6

Generalized Connectives for Multiplicative Linear Logic

Authors: Matteo Acclavio and Roberto Maieli

Published in: LIPIcs, Volume 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

Abstract

In this paper we investigate the notion of generalized connective for multiplicative linear logic. We introduce a notion of orthogonality for partitions of a finite set and we study the family of connectives which can be described by two orthogonal sets of partitions. We prove that there is a special class of connectives that can never be decomposed by means of the multiplicative conjunction ⊗ and disjunction ⅋, providing an infinite family of non-decomposable connectives, called Girard connectives. We show that each Girard connective can be naturally described by a type (a set of partitions equal to its double-orthogonal) and its orthogonal type. In addition, one of these two types is the union of the types associated to a family of MLL-formulas in disjunctive normal form, and these formulas only differ for the cyclic permutations of their atoms.

Cite as

Matteo Acclavio and Roberto Maieli. Generalized Connectives for Multiplicative Linear Logic. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 152, pp. 6:1-6:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{acclavio_et_al:LIPIcs.CSL.2020.6,
  author =	{Acclavio, Matteo and Maieli, Roberto},
  title =	{{Generalized Connectives for Multiplicative Linear Logic}},
  booktitle =	{28th EACSL Annual Conference on Computer Science Logic (CSL 2020)},
  pages =	{6:1--6:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-132-0},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{152},
  editor =	{Fern\'{a}ndez, Maribel and Muscholl, Anca},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.6},
  URN =		{urn:nbn:de:0030-drops-116490},
  doi =		{10.4230/LIPIcs.CSL.2020.6},
  annote =	{Keywords: Linear Logic, Partitions Sets, Proof Nets, Sequent Calculus}
}

Search Results

Documents authored by Maieli, Roberto

Generalized Connectives for Multiplicative Linear Logic

Abstract

Cite as

Thanks for your feedback!

Could not send message