Sciweavers

Share
JELIA
1998
Springer

A Matrix Characterization for MELL

10 years 4 days 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)
books