Sciweavers

Share
CADE
1997
Springer

Connection-Based Proof Construction in Linear Logic

9 years 6 months ago
Connection-Based Proof Construction in Linear Logic
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.
Christoph Kreitz, Heiko Mantel, Jens Otten, Stepha
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where CADE
Authors Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt
Comments (0)
books