Models for the displacement calculus
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/83549
Tipus de documentText en actes de congrés
Data publicació2015
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
The displacement calculus D is a conservative extension of the Lambek calculus L* (with empty antecedent allowed in sequents). L* can be said to be the logic of concatenation, while D can be said to be the logic of concatenation and intercalation. In many senses, it can be claimed that D mimics L*, namely that the proof theory, generative capacity and complexity of the former calculus are natural extensions of the latter calculus. In this paper, we strengthen this claim. We present the appropriate classes of models for D and prove its completeness results, and strikingly, we see that these results and proofs are natural extensions of the corresponding ones for L*.
CitacióValentin Fernandez, J. Models for displacement calculus. A: Conference on Formal Grammar. "Preproceedings of the 20th Conference on Formal Grammar: August 8-9 2015, Barcelona". Barcelona: 2015, p. 154-174.
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Dmodelsfinal.pdf | 357,7Kb | Visualitza/Obre |