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.
Abstract
	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" }