全部 标题 作者 关键词 摘要
DOI: 10.13328/j.cnki.jos.004791
Keywords: 中介逻辑 矛盾关系 反对关系 可靠性 完备性
Full-Text Cite this paper Add to My Lib
中介逻辑是朱梧?先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词~、反对连接词?以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133
