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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...