From linear proofs to direct logic with exponentials [chapter]

Enno Sandner
1997 Lecture Notes in Computer Science  
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