10.13796/j.cnki.1001-5019.2015.01.005
一个命题逻辑的排斥演算系统
在日常推理中,一般的非有效式比逻辑矛盾具有更大的隐蔽性,通过对卢卡西维茨的工作进行改造,可以建立一个排斥所有非有效式的演算系统,并对其可靠性和完全性给出严格的证明.在此基础上,证明了排斥系统和证明系统的不同性质,这有利于人们进一步认识谬误的本质.
非有效式、排斥演算、等谬
39
B812.5(逻辑学(论理学))
国家社科基金重大招标项目14ZDBO14
2015-04-20(万方平台首次上网日期,不代表论文的发表时间)
共5页
42-46