Partial Orders, Residuation, and First-Order Linear Logic - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Book Sections Year : 2021

Partial Orders, Residuation, and First-Order Linear Logic

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.
Fichier principal
Vignette du fichier
2008.06351.pdf (311.35 Ko) Télécharger le fichier
Loading...

Dates and versions

lirmm-02916101 , version 1 (17-08-2020)

Identifiers

Cite

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⟩
30 View
61 Download

Altmetric

Share

Gmail Facebook X LinkedIn More