模糊命题系统G(o)del和L*中条件真度的比较

摘要：

首先把条件真度由三值逻辑系统推广到连续值系统G(o)del和L*中,然后通过计算同时包含伴随对((⊕),→)的4个公式(p(⊕)q)→r,p(⊕)(q→r),(p→q)(⊕)r和p→(q(⊕)r)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL*≤τG(o)d.

关键词：模糊命题系统G(o)del和L*、蕴涵算子、三角模算子、伴随对、公式的条件真度

所属期刊栏目：30

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

资助基金：国家自然科学基金资助项目10771129;陕西师范大学211工程建设基金

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

页数：共5页

页码：23-27