Richard Moot (moot)

Beiträge zu Philosophie.ch

Bibliography

Moot, Richard and Piazza, Mario. 2000. “Linguistic Applications of First Order Intuitionistic Linear Logic.” Journal of Logic, Language, and Information 9(2): 211–232.
Moot, Richard and Puite, Quintijn. 2002. “Proof Nets for the Multimodal Lambek Calculus.” Studia Logica: An International Journal for Symbolic Logic 71(3): 415–442.