Skip to Main content Skip to Navigation
Book sections

Partial Orders, Residuation, and First-Order Linear Logic

Richard Moot 1
1 TEXTE - Exploration et exploitation de données textuelles
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : 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 unique linear order on the antecedent formulas of a sequent allows us to define many useful logical operators. In addition, the partial order constraints improve the efficiency of proof search.
Document type :
Book sections
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-02916101
Contributor : Richard Moot <>
Submitted on : Monday, August 17, 2020 - 1:01:35 PM
Last modification on : Friday, June 4, 2021 - 12:32:02 PM
Long-term archiving on: : Monday, November 30, 2020 - 8:42:59 PM

Identifiers

  • HAL Id : lirmm-02916101, version 1
  • ARXIV : 2008.06351

Collections

Citation

Richard Moot. Partial Orders, Residuation, and First-Order Linear Logic. Natural Language Processing in Artificial Intelligence, In press. ⟨lirmm-02916101⟩

Share

Metrics

Record views

40

Files downloads

40