Richard Moot

Available identifiers

Publication	Date of Publication	Type
Proof-theoretic aspects of hybrid type-logical grammars	2024-02-06	Paper
Logical foundations for hybrid type-logical grammars	2022-05-10	Paper
Logical foundations for hybrid type-logical grammars	2020-09-22	Paper
Partial Orders, Residuation, and First-Order Linear Logic	2020-08-14	Paper
Natural language semantics and computability	2019-06-26	Paper
Proof Nets for the Displacement Calculus	2016-12-01	Paper
Classical logic and intuitionistic logic: equivalent formulations in natural deduction, G\"odel-Kolmogorov-Glivenko translation	2016-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q5416219	2014-05-19	Paper
Extended Lambek Calculi and First-Order Linear Logic	2014-05-08	Paper
The logic of categorial grammars. A deductive account of natural language syntax and semantics	2012-07-06	Paper
Categorial Grammars and Minimalist Grammars	2011-07-07	Paper
Using Tree Transducers for Grammatical Inference	2011-07-01	Paper
Generalized Quantifiers in Declarative and Interrogative Sentences	2004-03-07	Paper
Proof nets for the multimodal Lambek calculus	2002-12-15	Paper
Linguistic application of first order intuitionistic linear logic	2002-05-05	Paper

This page was built for person: Richard Moot