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

作者：林哲; 梁飞^*

来源：逻辑学研究, 2018, 11(03): 34-43.

• 兰贝克演算
• 否定
• 根岑系统
• 判定性

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

• 单位
  中山大学