带否定算子的兰贝克演算研究
Lambek Calculus with Negations

摘要：本文研究否定算子的兰贝克演算，提出了兰贝克演算的极小否定扩张，刻画了兰贝克演算的极小否定扩张的代数模型，同时证明了兰贝克演算的极小否定的扩张 判定性，并发展了该逻辑的一个根岑序列演算。同时本文也将结论拓展到兰贝克演算的德摩根扩张并证明其判定性。