Richard Moot

1. Proof nets for display logic
   2007/11/15 by Richard Moot, Moot, Richard · 6 citations
   Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.CL
2. Proof nets for the Lambek-Grishin calculus
   2011/12/29 by Michael Moortgat, Moortgat, Michael, Richard Moot +1 · 1 citation
   Computer Science · #Advanced Algebra and Logic #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Rough Sets and Fuzzy Logic #cs.CL