Personal information

Other IDs

ResearcherID: C-8060-2012

Activities

Collapse all

Works (11)

Partial Orders, Residuation, and First-Order Linear Logic

2020 | Book chapter
URI: lirmm-02916101
ARXIV: 2008.06351
Contributors: Richard Moot
Source: Self-asserted source
Richard Moot via HAL

Neural Proof Nets

2020-11-19 | Conference paper
URI: lirmm-02952267
ARXIV: 2009.12702
Contributors: Konstantinos Kogkalidis; Michael Moortgat; Richard Moot
Source: Self-asserted source
Richard Moot via HAL

Proof-theoretic aspects of NLλ

2020-10-21 | Working paper
URI: lirmm-02973980
ARXIV: 2010.12223
Contributors: Richard Moot
Source: Self-asserted source
Richard Moot via HAL

Logical foundations for hybrid type-logical grammars

2020-09-21 | Working paper
URI: lirmm-02944393
Contributors: Richard Moot; Symon Jory Stevens-Guille
Source: Self-asserted source
Richard Moot via HAL

ÆTHEL: Automatically Extracted Typelogical Derivations for Dutch

2020-05-13 | Conference paper
URI: lirmm-02916423
ARXIV: 1912.12635
Contributors: Konstantinos Kogkalidis; Michael Moortgat; Richard Moot
Source: Self-asserted source
Richard Moot via HAL

Deductive Parsing with an Unbounded Type Lexicon

2019-08-05 | Conference paper
URI: lirmm-02313572
Contributors: Konstantinos Kogkalidis; Michael Moortgat; Richard Moot; Giorgos Tziafas
Source: Self-asserted source
Richard Moot via HAL

Proof-Theoretic Aspects of Hybrid Type-Logical Grammars

2019-07-05 | Conference paper
DOI: 10.1007/978-3-662-59648-7_6
URI: lirmm-02268104
Contributors: Symon Jory Stevens-Guille; Richard Moot; Symon Stevens-Guille
Source: Self-asserted source
Richard Moot via HAL

Natural Language Semantics and Computability

Journal of Logic, Language and Information
2019-06 | Journal article
DOI: 10.1007/s10849-019-09290-7
URI: hal-01315316
ARXIV: 1605.04122
Contributors: Richard Moot; Christian Retoré
Source: Self-asserted source
Richard Moot via HAL

Combining logical and distributional methods in type-logical grammars

Journal of Language Modelling
2018-12 | Journal article
DOI: 10.15398/jlm.v6i2.231
URI: lirmm-01651508
Contributors: Richard Moot
Source: Self-asserted source
Richard Moot via HAL

The Grail Theorem Prover: Type Theory for Syntax and Semantics

2017 | Book chapter
DOI: 10.1007/978-3-319-50422-3_10
URI: lirmm-01471644
ARXIV: 1602.00812
Contributors: Richard Moot
Source: Self-asserted source
Richard Moot via HAL

Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation

2016-02-25 | Report
URI: lirmm-01281243
ARXIV: 1602.07608
Contributors: Richard Moot; Christian Retoré
Source: Self-asserted source
Richard Moot via HAL

Peer review (1 review for 1 publication/grant)

Review activity for Journal of logic, language and information. (1)
How many people are using ORCID?