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

摘要：

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

关键词：兰贝克演算、否定、根岑系统、判定性

所属期刊栏目：11

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金项目13&ZD186

在线出版日期：2018-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：34-43