带否定算子的兰贝克演算研究 林哲; 梁飞 中山大学哲学系; 中山大学逻辑与认知研究所; 山东大学哲学与社会发展学院 摘要:本文研究否定算子的兰贝克演算,提出了兰贝克演算的极小否定扩张,刻画了兰贝克演算的极小否定扩张的代数模型,同时证明了兰贝克演算的极小否定的扩张判定性,并发展了该逻辑的一个根岑序列演算。同时本文也将结论拓展到兰贝克演算的德摩根扩张并证明其判定性。 注: 保护知识产权,如需阅读全文请联系逻辑学研究杂志社
相关推荐 更多 现代法学 CSSCI 1-3个月录用 理论与改革 CSSCI 1-3个月录用 中国法学 CSSCI 1-3个月录用 当代法学 CSSCI 1-3个月录用 理论学刊 CSSCI 1-3个月录用 世界经济与政治 CSSCI 1-3个月录用