Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
Langue
en
Communication dans un congrès
Ce document a été publié dans
Computation and Logic in the Real World (Computing in Europe 2007), Computation and Logic in the Real World (Computing in Europe 2007), Computation and Logic in the Real World (Computing in Europe 2007), 2007-06-18, Siena. 2007-06-18 n° ID487, p. 28--44
Università di Siena
Résumé en anglais
This paper provides a natural deduction system for Partially Commutative Intuitionistic Multiplicative Linear Logic (PCIMLL) and establishes its normalisation and subformula property. Such a system in- volves both commutative ...Lire la suite >
Mots clés en anglais
logi
proof theory
linear logic
Lambek calculus