共 5 条
形式演绎系统L*中的运算与演绎定理
被引：28
作者：
裴道武
机构：
[1] 四川大学数学学院!四川成都
来源：
关键词：
模糊逻辑;
形式演绎系统;
演绎定理;
D O I：
暂无
中图分类号：
O141.1 [命题演算、谓词演算、类演算];
学科分类号：
摘要：
对著名的形式演绎系统 L* 做了进一步的研究 ,得到一些新定理。在系统 L* 中引入新的二元运算 ,讨论了这种运算的性质 ,并由此得到了形式系统 L* 中的演绎定理
引用
收藏
页码：34 / 39
页数：6
相关论文