TUHH Open Research
Help
  • Log In
    New user? Click here to register.Have you forgotten your password?
  • English
  • Deutsch
  • Communities & Collections
  • Publications
  • Research Data
  • People
  • Institutions
  • Projects
  • Statistics
  1. Home
  2. TUHH
  3. Publication References
  4. A matrix characterization for MɛLL
 
Options

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
TUHH
Weiterführende Links
  • Contact
  • Send Feedback
  • Cookie settings
  • Privacy policy
  • Impress
DSpace Software

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science
Design by effective webwork GmbH

  • Deutsche NationalbibliothekDeutsche Nationalbibliothek
  • ORCiD Member OrganizationORCiD Member Organization
  • DataCiteDataCite
  • Re3DataRe3Data
  • OpenDOAROpenDOAR
  • OpenAireOpenAire
  • BASE Bielefeld Academic Search EngineBASE Bielefeld Academic Search Engine
Feedback