# A Matrix Characterization for MELL

## 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 matrix-based proof search procedures for $\mathcal{M}\mathcal{E}\mathcal{L}\mathcal{L}$ \mathcal{M}\mathcal{E}\mathcal{L}\mathcal{L} as well as for procedures which translate machine-found proofs back into the usual sequent calculus.

Item Type: Book Section 1998 Dix, Jürgen and del Cerro, Luis Farinas and Furbach, Ulrich Mantel, Heiko and Kreitz, Christoph A Matrix Characterization for MELL English 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 matrix-based proof search procedures for $\mathcal{M}\mathcal{E}\mathcal{L}\mathcal{L}$ \mathcal{M}\mathcal{E}\mathcal{L}\mathcal{L} as well as for procedures which translate machine-found proofs back into the usual sequent calculus. Logics in Artificial Intelligence, European Workshop, JELIA '98 : Proceedings Lecture Notes in Computer Science 1489 Berlin ; Heidelberg Springer 20 Department of Computer Science20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS) Logics in Artificial Intelligence Dagstuhl, Germany 12. - 15.10.1998 09 Apr 2010 14:11 inp:MantelKreitz1998a Simple MetadataDublin CoreASCII CitationRDF+XMLAtomEP3 XMLMultiline CSVJSONHTML CitationBibTeXT2T_XMLReference ManagerMODSEndNote TUfind oder in Google

#### Optionen (nur für Redakteure)

 View Item