蕴涵理论研究——从《墨经》到《制约逻辑》
作者: 盛作国  来源:贵州大学 录入时间:2016 文献类型 :学位论文 关键词: 推理  蕴涵理论  现代逻辑 
描述:的形式语言中的式未必能互相对译:A的式对译后可以不是B的式,或者,B的式对译后可以不是A的式。以下指责不成立,是对制约逻辑的误解或曲解:制约逻辑不可能定义“必然”、“可能”这类概念;制约逻辑询演算