Non decomposable connectives of linear logic - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2018

Non decomposable connectives of linear logic

Résumé

This paper studies the so-called generalized multiplicative connectives of linear logic, focusing on the question of finding the " non-decomposable " ones, i.e., those that may not be expressed as combinations of the default binary connectives of multiplicative linear logic, ⊗ (tensor) and (par). In particular, we concentrate on generalized connectives of a surprisingly simple form, called " entangled connectives " , and prove a characterization theorem giving a criterion for identifying the undecomposable ones.
Fichier principal
Vignette du fichier
generalized_connectives_APAL.pdf (433.45 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01864488 , version 1 (30-08-2018)

Identifiants

  • HAL Id : hal-01864488 , version 1

Citer

Roberto Maieli. Non decomposable connectives of linear logic. 2018. ⟨hal-01864488⟩
37 Consultations
85 Téléchargements

Partager

Gmail Facebook X LinkedIn More