带否定算子的兰贝克演算研究.pdfVIP

逻辑学研究 2018 年第3 期，34–43 文章编号：1674-3202(2018)-03-0034-10 带否定算子的兰贝克演算研究* 林哲 梁飞† 中山大学哲学系 山东大学哲学与社会发展学院 中山大学逻辑与认知研究所 philoliangfei@ linzhe8@ 摘 要：本文研究否定算子的兰贝克演算，提出了兰贝克演算的极小否定扩张，刻画 了兰贝克演算的极小否定扩张的代数模型，同时证明了兰贝克演算的极小否定的扩张 判定性，并发展了该逻辑的一个根岑序列演算。同时本文也将结论拓展到兰贝克演算 的德摩根扩张并证明其判定性。 关键词：兰贝克演算；否定；根岑系统；判定性 中图分类号：B81 文献标识码：A 1 引言 J. Lambek 于 1958 年为自然语言计算引入了一个句法演算系统。（[7]）现在 这个系统被统称为兰贝克演算。在过去几十年间，兰贝克演算在语言逻辑领域受 到了广泛的重视，并且发展出许多重要