A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
From linear proofs to direct logic with exponentials
[chapter]
1997
Lecture Notes in Computer Science
Preserved Fulltext
Following the idea of Linear Proofs presented in 4] we introduce the Direct Logic 14] with exponentials (DLE). The logic combines Direct Logic with the exponentials of Linear Logic. For a well-chosen subclass of formulas of this logic we provide a matrix-characterization which can be used as a foundation for proof-search methods based on the connection calculus.
doi:10.1007/3540634932_10
fatcat:fi62ng247fgghmcygtnfa6tgly