Sciweavers

38
Voted
JELIA
1998
Springer

A Matrix Characterization for MELL

14 years 4 months ago
A Matrix Characterization for MELL
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic with exponentials. In the process we elaborate a methodology for proving matrix characterizations correct and complete. Our characterization provides a foundation for matrixbased proof search procedures for MELL as well as for procedures which translate machine-found proofs back into the usual sequent calculus.
Heiko Mantel, Christoph Kreitz
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where JELIA
Authors Heiko Mantel, Christoph Kreitz
Comments (0)