扩展 Lambek 演算与一阶线性逻辑
该论文通过建立 Lambek calculus 的扩展和变体的两个统一框架,利用证明网和图重写规则建立逻辑框架,用于在不同的语言分析框架之间架起桥梁,强调区别,帮助识别问题。
Jun, 2015
本文介绍了位移演算为 Lambek 演算的一般化,它保留了 Lambek 演算的证明论特性,同时将不连续性融合到其中,并涵盖了它。我们举例说明语言应用,并证明减少消除,子公式属性和可决定性。
Apr, 2010
通过将对角线方法扩展到一个张量范畴中,我们展示了表征不同范畴语法的一个一阶乘性线性逻辑子集相当于最近引入的扩展张量类型演算,它不仅提供了先前的某些替代语法和直观几何表示,还具有本质的演绎系统。
Jun, 2022
这篇论文证明了离散 Lambek 演算的超序列演算或超序列演算 hD,类似于 sL 没有结构规则,也等同于 ω 排序的多模态演算 mD。更具体地,我们介绍了 mD 和 hD 之间的忠实嵌入翻译,以这样的方式来表达 hD 吸收了 mD 的结构规则。
Jan, 2013
本研究介绍了反证完成的超位置演算法,用于意图性和外延句子 $\lambda$- 自由高阶逻辑,这两种形式允许部分应用和应用变量。 这些演算法由一个术语排序参数化,无需完全单调,从而可以采用 $\lambda$- 自由高阶词典路径和 Knuth-Bendix 排序。作者们在 Zipperposition prover 中实现了这些演算法,并在 Isabelle/HOL 和 TPTP 基准测试中评估它们。 它们似乎是通向完全高效自动定理证明程序的一个重要的步骤。
May, 2020
本研究表明混合类型逻辑语法是一阶线性逻辑的一个片段,并提供了新的证明理论和解析策略。同时,还揭示了 λ 语法 / 抽象范畴语法存在超生成问题和句法 - 语义界面问题等独特问题。
May, 2014
使用经典乘性线性逻辑提出一种基于范畴语法的模型,其中单词由连通的、有标记的端点构成的元组表示为 Word cobordisms,这些对象可以组织成一类类似于拓扑 cobordisms 的范畴,作为线性 λ 演算和古典、直觉线性逻辑的模型。
Nov, 2019
提出一种基于经典乘法线性逻辑的范畴文法,使用标记的端点将单词组成元组而不是抽象的 λ 项,称为 Multiwords;Multiwords 可以组成一个具有基本代数结构的类别,并且研究它可能有助于理解语言语义和为其他形式主义提供分类表示。
Oct, 2018
使用 DisCoCat 模型构建的语义理论在 Lambek 的 pregroup 语法和单调性生物闭合类别中得到了进一步的扩展,并利用矢量空间模型建立了完整句子的向量。
Feb, 2013