We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality, which has a limited version of the contraction and permutation rules. The categorical part of the semantics is a monoidal biclosed category with a coalgebra modality as defined on Differential Categories. We instantiate this category to finite dimensional vector spaces and linear maps via quantisation functors and work with three concrete interpretations of the coalgebra modality. We apply the model to construct categorical and concrete semantic interpretations for the motivating example of this extended calculus: the derivation of a phrase with a parasitic gap. The effectiveness of the concrete interpretations are evaluated via a disambiguation task, on an extension of a sentence disambiguation dataset to parasitic gap phrases, using BERT, Word2Vec, and FastText vectors and Relational tensors
本文利用一种新的范畴语义学--基变语义学来研究模态类型论。基变语义是一种新颖的语义,它是基于(可能是无限的)迭代丰富和解释的模态作为homobject。在我们的语义中,多阶段计算中的Meta和对象级别之间的关系正好对应于丰富和丰富类别之间的关系。其结果是,我们获得了Meta和对象逻辑可能完全不同的情况下的分类解释。我们的分类模型包括模态类型论的传统模型(例如,Carnival闭范畴与monoidal endofunctor)作为特殊情况,因此可以看作是一个自然的改进以前的结果。在类型理论方面,它表明,菲奇风格的模态类型论可以直接解释在迭代丰富的类别。有趣的是,这种解释表明,Fitch风格的模态类型论是双上下文演算的右伴随。此外,我们提出了如何线性时间,S4和线性指数形式的变化的基础语义方面的描述。最后,我们表明,基的变化语义可以自然地扩展到多阶段的有效计算和广义上下文模态一la Nanevski et al.我们强调,本文回答了在2011年的调查报告中提出的问题,由德派瓦和Ritter,什么是一个分类模型的Fitch风格的类型论是什么样的。
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
Université Paris-Saclay(巴黎萨克雷大学);CNRS(法国国家科学研究中心);ENS Paris-Saclay(巴黎萨克雷高等师范学院);Inria(法国国家数字技术研究所);Laboratoire Méthodes Formelles(形式方法实验室);Université de Lorraine(洛林大学);LORIA(洛林信息与自动计算实验室);Universidad Nacional de Quilmes(基尔梅斯国立大学)
An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
Université de Lorraine, CNRS, Inria, LORIA(洛林大学、法国国家科学研究中心、法国国家信息与自动化研究所、洛林研究与信息学院);Universidad Nacional de Quilmes, DCyT(基尔梅斯国立大学、计算机与信息技术系);Universidad de Buenos Aires, DC, FCEyN(布宜诺斯艾利斯大学、计算系、经济与理学院);Universidad de Buenos Aires-CONICET, ICC(布宜诺斯艾利斯大学-阿根廷国家科学研究委员会、计算中心);Universidad de la República–MEC, PEDECIBA(共和国大学-教育部、PEDECIBA);Universidad de la República, IMERL, FIng(共和国大学、IMERL、工程学院)