蕴涵理论研究——从《墨经》到《制约逻辑》
作者: 盛作国  来源:贵州大学 录入时间:2016 文献类型 :学位论文 关键词: 推理  蕴涵理论  现代逻辑 
描述:问题产生了:经典命题系统、直觉主义命题系统和S4之间究竟是一什么样的关系?进而,推理前后件之间究竟是一什么样的关系?各种蕴涵理论是否清晰而恰当地刻画了推理前后件之间的关系?不同的逻辑系统之间