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 |
Partial Orders, Residuation, and First-Order Linear Logic
(available as arXiv preprint) | 2020-01-01 | 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 |
Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation
(available as arXiv preprint) | 2016-01-01 | 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
