准形式演绎系统相关论文
在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L*G-R,并在此基础上研究了模糊逻辑系统中的代换定......
论证了当赋值集为[0,1]时经典例题演算中的定理、重言式、MP规则以及HS规则之间关系的不协调性,建立了关于模糊命题演算的准形式演绎......