Partial Orders, Residuation, and First-Order Linear Logic - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Chapitre D'ouvrage Année : 2021

Partial Orders, Residuation, and First-Order Linear Logic

Résumé

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 et versions

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

Identifiants

Citer

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⟩
36 Consultations
75 Téléchargements

Altmetric

Partager

More