Relational Semantics for Distributive Linear Logic - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2018

Relational Semantics for Distributive Linear Logic

Résumé

Axioms ruling linear negation have been investigated in the context of the complete semantics for distributive intuitionistic linear logic. Among these are the condition of being a dualizing element and the one of being a cyclic element. The motivation for analyzing other syntactic constraints comes from the observation that groupoids are models for classical linear logic. The analysis proceeds also in the opposite way: given semantic conditions, which could possibly hold in the canonical model of prime filters, equivalent syntactic conditions are found. Last, the relatioships among analyzed axioms are investigated, counterexamples are provided whenever there is no provability dependence.
Fichier principal
Vignette du fichier
MS95RSDLL.pdf (330.08 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01851509 , version 1 (30-07-2018)

Identifiants

  • HAL Id : hal-01851509 , version 1

Citer

Gian Carlo Meloni, Luigi Santocanale. Relational Semantics for Distributive Linear Logic. 2018. ⟨hal-01851509⟩
146 Consultations
111 Téléchargements

Partager

Gmail Facebook X LinkedIn More