蕴涵理论研究——从《墨经》到《制约逻辑》
作者: 盛作国  来源:贵州大学 录入时间:2016 文献类型 :学位论文 关键词: 推理  蕴涵理论  现代逻辑 
描述:Cn系统可以证明“可能”与“必然”互制;制约系统包含“怪论”;关于初等数论的形式系统N可以证明1=0,N的第一条公理就是1≠0,所以N不一致的(即矛盾的)。