19 citations · 62 across the 18 of their papers we have counts for
5 papers · 1 filter
Proof-theoretic aspects of NL
Richard Moot
We present a proof-theoretic analysis of the logic NL (Barker \& Shan 2014, Barker 2019). We notably introduce a novel calculus of proof nets and prove it is sound and complete…
Neural Proof Nets
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
Linear logic and the linear λ-calculus have a long standing tradition in the study of natural language form and meaning. Among the proof calculi of linear logic, proof nets are of…
Logical foundations for hybrid type-logical grammars
Richard Moot, Symon Stevens-Guille
This paper explores proof-theoretic aspects of hybrid type-logical grammars , a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus…
Logical Semantics, Dialogical Argumentation, and Textual Entailment
Davide Catta, Richard Moot, Christian Retoré
In this chapter, we introduce a new dialogical system for first order classical logic which is close to natural language argumentation, and we prove its completeness with respect t…
Partial Orders, Residuation, and First-Order Linear Logic
Richard Moot
We will investigate proof-theoretic and linguistic aspects of first-order linear logic. We will show that adding partial order constraints in such a way that each sequent defines a…