It is known that different categorial grammars have surface representation in
a fragment of first order multiplicative linear logic. We show that the
fragment of interest is equivalent to the recently introduced
我们提出了一种新的线性代数方法来计算逻辑中的 Tarskian 语义。通过将 M 的实体映射到 N 维独热向量和 k 元关系映射到 k 阶邻接张量，我们在具有 N 个实体的 N 维欧几里得空间 R ^ N 中嵌入了一个有限模型 M。在此框架基础上，我们还提出了一种在线性空间中计算 Datalog 程序定义的最小模型的前所未有的方法，并通过矩阵方程表明其与现有方法相比的有效性。