L*系统中L*10的特点及应用

摘要：

对模糊命题演算的形式演绎系统中的公理L10:(A→B)∨((A→B)→A ∨ B)进行了较为深刻的研究,一方面应用L10讨论了L*系统与Lukasiewicz系统,G(o)del系统的相互独立性,说明L10是L*系统区别于其它模糊命题演算的形式演译系统的特征标志,另一方面应用L10证明了L*系统中的条件演绎定理,给出了L10在L*中的一个重要应用.

关键词：模糊逻辑、命题演算、蕴涵算子、语义、形式演绎系统L*

所属期刊栏目：23

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金10471083;陕西师范大学校科研和教改项目995130

在线出版日期：2006-11-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：835-842