Mantel, HeikoHeikoMantelKreitz, ChristophChristophKreitz2022-11-152022-11-151998-10Lecture Notes in Computer Science 1489 LNAI: 169-184 (1998)http://hdl.handle.net/11420/14038We 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.enInformatikConference Paper10.1007/3-540-49545-2_12Other