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.