Dissymetrical Linear Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année :

Dissymetrical Linear Logic

Résumé

This paper is devoted to design computational systems of linear logic (i.e. systems in which, notably, the non linear and structural phenomena which arise during the cut-elimination process are taken in charge by specific modalities, the exponentials: ! and ?). The systems designed are "intermediate" between Intuitionistic LL and Classical LL. Methodologically, the focus is put on how to break the symmetrical interdependency between ! and ? which prevails in Classical LL-and this without to loose the computational properties (closure by cut-elimination, atomizability of axioms). Three main systems are designed (Dissymetrical LL, semi-functorial Dissymetrical LL, semi-specialized Dissymetrical LL), where, in each of them, ! and ? play well differentiated roles.
Fichier principal
Vignette du fichier
2022-Linearity-Joinet-eptcs copie.pdf (219.08 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03815339 , version 1 (14-10-2022)

Identifiants

  • HAL Id : hal-03815339 , version 1

Citer

Jean-Baptiste Joinet. Dissymetrical Linear Logic. TLLA-Linearity (FLoC 2022), Jul 2022, Haifa, Israel. ⟨hal-03815339⟩
9 Consultations
6 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More