Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
Idioma
en
Communication dans un congrès
Este ítem está publicado en
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
Resumen en inglés
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 ...Leer más >
Palabras clave en inglés
logi
proof theory
linear logic
Lambek calculus