A Matrix Characterization for MELL

Heiko Mantel, Christoph Kreitz.

In J. Dix, F. L. Del Cerro, U. Furbach eds., 6th European Workshop on Logics in Artificial Intelligence (JELIA'98) ,
LNAI 1489, pp. 169-183, Springer Verlag, 1998.


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 a matrix-based proof search procedure for MELL as well as for a procedure which translates the machine-found proofs back into the usual sequent calculus.

Paper is available in
postscript and pdf format
  Slides of the conference presentation are available in compressed postscript and pdf format
(Presentation: Heiko Mantel)

Bibtex Entry

Back to overview of papers
@InProceedings{inp:MantelKreitz98a, author = "Heiko Mantel and Christoph Kreitz", title = "A Matrix Characterization for {MELL}", booktitle = "6$^{th}$ European Workshop on Logics in AI (JELIA-98)", year = "1998", editor = "J.~Dix, F.~L.~Del Cerro, U.~Furbach", volume = "1489", series = "Lecture Notes in Artificial Intelligence", pages = "169--183", publisher = "Springer Verlag" }