带一个除法及用于弱化的负极性模态的Lambek演算的证明网
逻辑
2019-12-10 v1
摘要
在本文中，我们引入了允许空前件的Lambek演算的一个变体。该变体使用两个连接词：左除法和一个仅以负极性出现并允许在序列前件中弱化的元模态。我们为该演算定义了证明网的概念，其类似于普通Lambek演算与乘法线性逻辑中的证明网。我们证明了所考察演算中的一个序列可推导当且仅当存在它的证明网。由此，我们基于具有特定性质的图的存在性建立了该演算的可推导性判据。图的大小由序列的长度界定。
引用
@article{arxiv.1912.03739,
title = {Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening},
author = {Anna Pentus and Mati Pentus},
journal= {arXiv preprint arXiv:1912.03739},
year = {2019}
}
备注
In Russian