Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-25010
Titel: | Developing a matrix characterization for MELL |
VerfasserIn: | Mantel, Heiko |
Sprache: | Englisch |
Erscheinungsjahr: | 1998 |
Quelle: | Kaiserslautern ; Saarbrücken : DFKI, 1998 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | 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 |
Datum des Eintrags: | 5-Jul-2011 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
RR_98_03.pdf | 739,61 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.