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 MɛLL as well as for procedures which translate machine-found proofs back into the usual sequent calculus.
Cite
CITATION STYLE
Mantel, H., & Kreitz, C. (1998). A matrix characterization for MɛLL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1489, pp. 169–184). Springer Verlag. https://doi.org/10.1007/3-540-49545-2_12
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
