English
Relational models for the Lambek calculus with intersection and unit
Multi angle
Auteurs : Kuznetsov, Stepan (Auteur de la Conférence)
CIRM (Editeur )
03B47 - Substructural logics
08A02 - Relational systems, laws of composition
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2398/Slides/Kuznetsov.pdf
CIRM (Editeur )
Loading the player...
|
Résumé :
We consider the Lambek calculus extended with intersection (meet) operation. For its variant which does not allow empty antecedents, Andreka and Mikulas (1994) prove strong completeness w.r.t. relational models (R-models). Without the antecedent non-emptiness restriction, however, only weak completeness w.r.t. R-models (so-called square ones) holds (Mikulas 2015). Our goals are as follows. First, we extend the calculus with the unit constant, introduce a class of non-standard R-models for it, and prove completeness. This gives a simpler proof of Mikulas' result. Second, we prove that strong completeness does not hold. Third, we extend our weak completeness proof to the infinitary setting, to so-called iterative divisions (Kleene star under division).
Keywords : Lambek calculus; relational semantics; completeness
Codes MSC : Keywords : Lambek calculus; relational semantics; completeness
03B47 - Substructural logics
08A02 - Relational systems, laws of composition
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2398/Slides/Kuznetsov.pdf
|
Informations sur la Vidéo
Réalisateur : Recanzone, LucaLangue : Anglais Date de publication : 26/11/2021 Date de captation : 05/11/2021 Sous collection : Research talks arXiv category : Logic ; Logic in Computer Science Domaine : Computer Science ; Logic and Foundations Format : MP4 (.mp4) - HD Durée : 00:29:45 Audience : Researchers Download : https://videos.cirm-math.fr/2021-11-5_Kuznetsov.mp4 
|
Informations sur la Rencontre
Nom de la rencontre : 19th International Conference on Relational and Algebraic Methods in Computer Science / 19ème Conférence internationale de méthodes relationnelles et algébriques en informatiqueOrganisateurs de la rencontre : Fahrenberg, Uli ; Gehrke, Mai ; Santocanale, Luigi ; Winter, Michael Dates : 02/11/2021 - 06/11/2021 Année de la rencontre : 2021 URL Congrès : https://conferences.cirm-math.fr/2398.html
Données de citation
DOI : 10.24350/CIRM.V.19828603Citer cette vidéo: Kuznetsov, Stepan (2021). Relational models for the Lambek calculus with intersection and unit. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19828603 URI : http://dx.doi.org/10.24350/CIRM.V.19828603 |
Voir aussi
- [Multi angle] Quantified constraint satisfaction problem: towards the classification of complexity / Auteur de la Conférence Zhuk, Dmitriy.
- [Multi angle] Time warps, from algebra to algorithms / Auteur de la Conférence Santschi, Simon.
- [Multi angle] Fixpoint games / Auteur de la Conférence König, Barbara.
- [Multi angle] Relational tight field bounds for distributed analysis of programs / Auteur de la Conférence Frias, Marcelo.
Bibliographie
- ANDRÉKA, Hajnal et MIKULÁS, Szabolcs. Lambek calculus and its relational semantics: completeness and incompleteness. Journal of Logic, Language and Information, 1994, vol. 3, no 1, p. 1-37. - https://doi.org/10.1007/BF01066355
- LAMBEK, Joachim. The mathematics of sentence structure. The American Mathematical Monthly, 1958, vol. 65, no 3, p. 154-170. - https://doi.org/10.1080/00029890.1958.11989160
- MIKULÁS, Szabolcs. The equational theories of representable residuated semigroups. Synthese, 2015, vol. 192, no 7, p. 2151-2158. - https://doi.org/10.1007/s11229-014-0513-3
- MIKULÁS, Szabolcs. Lower semilattice-ordered residuated semigroups and substructural logics. Studia Logica, 2015, vol. 103, no 3, p. 453-478. - https://doi.org/10.1007/s11225-014-9574-z
- KUZNETSOV, Stepan L. Relational Models for the Lambek Calculus with Intersection and Unit. In : International Conference on Relational and Algebraic Methods in Computer Science. Springer, Cham, 2021. p. 258-274. - https://doi.org/10.1007/978-3-030-88701-8_16
