分配型完全非结合 Lambek 演算中的迭代除法
计算机科学中的逻辑
2019-10-28 v2
摘要
我们研究分配型完全非结合 Lambek 演算的一个带迭代除法算子的扩张。这些迭代算子可视为表示语言资源或动作的迭代组合。我们给出了该逻辑的完全公理化，并通过有限模型性质的证明确立了可判定性。
引用
@article{arxiv.1909.11350,
title = {Iterative division in the Distributive Full Non-associative Lambek Calculus},
author = {Igor Sedlár},
journal= {arXiv preprint arXiv:1909.11350},
year = {2019}
}
备注
2nd DaL\'i Workshop, Dynamic Logic: New Trends and Applications, Porto 2019