Show simple item record

dc.contributor.authorValentín Fernández Gallart, José Oriol
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2016-02-29T13:17:10Z
dc.date.available2016-02-29T13:17:10Z
dc.date.issued2015
dc.identifier.citationValentin 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.
dc.identifier.urihttp://hdl.handle.net/2117/83549
dc.description.abstractThe 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*.
dc.format.extent21 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Agents intel·ligents
dc.subject.lcshComputational linguistics
dc.subject.otherLogic grammar
dc.titleModels for the displacement calculus
dc.typeConference report
dc.subject.lemacLingüística computacional
dc.description.peerreviewedPeer Reviewed
dc.rights.accessOpen Access
drac.iddocument17526833
dc.description.versionPostprint (published version)
upcommons.citation.authorValentin Fernandez, J.
upcommons.citation.contributorConference on Formal Grammar
upcommons.citation.pubplaceBarcelona
upcommons.citation.publishedtrue
upcommons.citation.publicationNamePreproceedings of the 20th Conference on Formal Grammar: August 8-9 2015, Barcelona
upcommons.citation.startingPage154
upcommons.citation.endingPage174


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder