Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

JELIA
1998
Springer

favoriteEmaildiscussreport

77views Artificial Intelligence» more JELIA 1998»

A Matrix Characterization for MELL

13 years 8 months ago

A Matrix Characterization for MELL

Download www.nuprl.org

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 matrixbased proof search procedures for MELL as well as for procedures which translate machine-found proofs back into the usual sequent calculus.

Heiko Mantel, Christoph Kreitz

Real-time Traffic

Artificial Intelligence | JELIA 1998 | Matrix Characterizations | Proof Search Procedures | Usual Sequent Calculus |

claim paper

Related Content

» Quasideterminant Characterization of MDS Group Codes over Abelian Groups

» Complex Matrix Decomposition and Quadratic Programming

» Constructing a sparse convolution matrix for shift varying image restoration problems

» A Uniform Procedure for Converting Matrix Proofs into SequentStyle Systems

» A matrix characterization of interval and proper interval graphs

» Pseudospectra of Matrix Polynomials that Are Expressed in Alternative Bases

» A random matrix model of communication via antenna arrays

» Appearance Characterization of Linear Lambertian Objects Generalized Photometric Stereo an...

» Moment characterization of matrix exponential and Markovian arrival processes

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1998
Where	JELIA
Authors	Heiko Mantel, Christoph Kreitz

Comments (0)