%0 Journal Article
%T 带否定算子的兰贝克演算研究<br>Lambek Calculus with Negations
%A 林哲
%A 梁飞&lt
%A br&gt
%A Zhe Lin
%A Fei Liang
%J 逻辑学研究
%D 2018
%X 摘要：本文研究否定算子的兰贝克演算，提出了兰贝克演算的极小否定扩张，刻画了兰贝克演算的极小否定扩张的代数模型，同时证明了兰贝克演算的极小否定的扩张 判定性，并发展了该逻辑的一个根岑序列演算。同时本文也将结论拓展到兰贝克演算的德摩根扩张并证明其判定性。<br
%K 兰贝克演算
%K 否定
%K 根岑系统
%K 判定性
%K &lt
%K br&gt
%U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract335.shtml