Maude files that implement multiplicative linear logic:download
Maude files that implement multiplicative exponential linear logic:download
Please see one of the papers below for instructions on using the modules.
Maude as a Platform for Designing and Implementing Deep Inference Systems. [PDF] Ozan Kahramanoğulları Eighth International Workshop on Rule Based Programming, Paris, France, July 12, 2007. Proceedings of RULE'07, ENTCS 219, Elsevier, 35-50, 2008.
Implementing System BV of the Calculus of Structures in Maude. [PDF] Ozan Kahramanoğulları ESSLLI-04 Student Session, European Summer School in Logic, Language and Information, Universite Henri Poincare, Nancy, France, August 9-20, 2004.