Richard Moot

MaRDI QIDQ209449zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Proof-theoretic aspects of the logic of scope Journal of Logic, Language and Information	2025-12-29	Paper
Proof-theoretic aspects of hybrid type-logical grammars Formal Grammar	2024-02-06	Paper
Logical foundations for hybrid type-logical grammars Journal of Logic, Language and Information	2022-05-10	Paper
Logical foundations for hybrid type-logical grammars (available as arXiv preprint)	2020-09-22	Paper
Partial Orders, Residuation, and First-Order Linear Logic	2020-08-14	Paper
Natural language semantics and computability Journal of Logic, Language and Information	2019-06-26	Paper
Proof nets for the displacement calculus Formal Grammar	2016-12-01	Paper
Classical logic and intuitionistic logic: equivalent formulations in natural deduction, G\"odel-Kolmogorov-Glivenko translation	2016-02-24	Paper
scientific article; zbMATH DE number 6296859 (Why is no real title available?) (available as arXiv preprint)	2014-05-19	Paper
Extended Lambek calculi and first-order linear logic Lecture Notes in Computer Science	2014-05-08	Paper
The logic of categorial grammars. A deductive account of natural language syntax and semantics Lecture Notes in Computer Science	2012-07-06	Paper
Categorial Grammars and Minimalist Grammars Logic and Grammar	2011-07-07	Paper
Using tree transducers for grammatical inference Logical Aspects of Computational Linguistics	2011-07-01	Paper
Generalized Quantifiers in Declarative and Interrogative Sentences Logic Journal of the IGPL	2004-03-07	Paper
Proof nets for the multimodal Lambek calculus Studia Logica	2002-12-15	Paper
Linguistic application of first order intuitionistic linear logic Journal of Logic, Language and Information	2002-05-05	Paper

Research outcomes over time

This page was built for person: Richard Moot