Accéder directement au contenu Accéder directement à la navigation
Nouvelle interface
Communication dans un congrès

Dissymetrical Linear Logic

Abstract : 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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal-univ-lyon3.archives-ouvertes.fr/hal-03815339
Contributeur : Jean-Baptiste Joinet Connectez-vous pour contacter le contributeur
Soumis le : vendredi 14 octobre 2022 - 15:28:15
Dernière modification le : mercredi 19 octobre 2022 - 05:01:43

Fichier

2022-Linearity-Joinet-eptcs co...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-03815339, version 1

Collections

Citation

Jean-Baptiste Joinet. Dissymetrical Linear Logic. TLLA-Linearity (FLoC 2022), Jul 2022, Haifa, Israel. ⟨hal-03815339⟩

Partager

Métriques

Consultations de la notice

0

Téléchargements de fichiers

0