TU Darmstadt / ULB / TUbiblio

A Matrix Characterization for MELL

Mantel, Heiko and Kreitz, Christoph
Dix, Jürgen and del Cerro, Luis Farinas and Furbach, Ulrich (eds.) (1998):
A Matrix Characterization for MELL.
In: Logics in Artificial Intelligence, European Workshop, JELIA '98 : Proceedings, Berlin ; Heidelberg, Springer, pp. 169-183, [Book Section]

Abstract

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 $ \mathcal{M}\mathcal{E}\mathcal{L}\mathcal{L} $ \mathcal{M}\mathcal{E}\mathcal{L}\mathcal{L} as well as for procedures which translate machine-found proofs back into the usual sequent calculus.

Item Type: Book Section
Erschienen: 1998
Editors: Dix, Jürgen and del Cerro, Luis Farinas and Furbach, Ulrich
Creators: Mantel, Heiko and Kreitz, Christoph
Title: A Matrix Characterization for MELL
Language: English
Abstract:

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 $ \mathcal{M}\mathcal{E}\mathcal{L}\mathcal{L} $ \mathcal{M}\mathcal{E}\mathcal{L}\mathcal{L} as well as for procedures which translate machine-found proofs back into the usual sequent calculus.

Title of Book: Logics in Artificial Intelligence, European Workshop, JELIA '98 : Proceedings
Series Name: Lecture Notes in Computer Science
Volume: 1489
Place of Publication: Berlin ; Heidelberg
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Event Title: Logics in Artificial Intelligence
Event Location: Dagstuhl, Germany
Event Dates: 12. - 15.10.1998
Date Deposited: 09 Apr 2010 14:11
Additional Information:

inp:MantelKreitz1998a

Export:

Optionen (nur für Redakteure)

View Item View Item