Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25010
Titel: Developing a matrix characterization for MELL
Verfasser: Mantel, Heiko
Sprache: Englisch
Erscheinungsjahr: 1998
Quelle: Kaiserslautern ; Saarbrücken : DFKI, 1998
SWD-Schlagwörter: Künstliche Intelligenz
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: We present a matrix characterization of logical validity in the multiplicitative exponential fragment of linear logic. It extends an earlier characterization of the multiplicative fragment by the exponentials and multiplicative constant. In the process of proving the matrix characterization correct and complete, a methodology for developing a matrix characterization from a sequent calculus by a series of intermediate calculi is demonstrated. Our characterization provides a foundation for matrix-based proof search procedures as well as for procedures which translate machine-found proofs back into the usual sequent calculus.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-38275
hdl:20.500.11880/25066
http://dx.doi.org/10.22028/D291-25010
Schriftenreihe: Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Band: 98-03
SciDok-Publikation: 5-Jul-2011
Fakultät: Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Fakultät / Institution:SE - Sonstige Einrichtungen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
RR_98_03.pdf739,61 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.