A matrix characterization for MɛLL

Publikationstyp
Conference Paper
Date Issued
1998-10
Sprache
English
Author(s)
Mantel, Heiko 
Kreitz, Christoph  
TORE-URI
http://hdl.handle.net/11420/14038
First published in
Lecture notes in computer science  
Number in series
1489 LNAI
Start Page
169
End Page
184
Citation
Lecture Notes in Computer Science 1489 LNAI: 169-184 (1998)
Contribution to Conference
European Workshop on Logics in Artificial Intelligence, JELIA 1998  
Publisher DOI
10.1007/3-540-49545-2_12
Scopus ID
2-s2.0-84949939606
Publisher
Springer
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.
DDC Class
004: Informatik