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
Contributor : Richard Moot Connect in order to contact the contributor
Submitted on : Monday, August 17, 2020 - 1:01:35 PM
Last modification on : Friday, August 5, 2022 - 3:03:22 PM
Long-term archiving on: : Monday, November 30, 2020 - 8:42:59 PM


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



Richard Moot. Partial Orders, Residuation, and First-Order Linear Logic. Natural Language Processing in Artificial Intelligence, 939, Springer, pp.37-67, 2021, Studies in Computational Intelligence, 978-3-030-63786-6. ⟨lirmm-02916101⟩



Record views


Files downloads