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. Connection-based proof construction in linear logic
 
Options

Connection-based proof construction in linear logic

Publikationstyp
Conference Paper
Date Issued
1997-07
Sprache
English
Author(s)
Kreitz, Christoph  
Mantel, Heiko 
Ott, Jörg  
Schmitt, Stephan  
TORE-URI
http://hdl.handle.net/11420/14039
First published in
Lecture notes in computer science  
Number in series
1249 LNAI
Start Page
207
End Page
221
Citation
Lecture Notes in Computer Science 1249 LNAI: 207-221 (1997)
Contribution to Conference
14th International Conference on Automated Deduction, CADE 1997  
Publisher DOI
10.1007/3-540-63104-6_20
Scopus ID
2-s2.0-84957062156
Publisher
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fragment and a procedure which translates the machine-found proofs back into the usual sequent calculus for linear logic. Both procedures are straightforward extensions of methods which originally were developed for a uniform treatment of classical, intuitionistic and modal logics. They can be extended to further fragments of linear logic once a matrix characterization has been found.
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