基于FI-代数的一个逻辑系统

摘要：

建立一种基于FI-代数的模糊命题演算的形式演绎系统,并讨论了该系统语义的完备性.其目的在于使通常的众多模糊推理系统能够纳入该逻辑系统之中,以便在一个更加广泛的代数和逻辑框架下来研究模糊推理的逻辑基础问题.

关键词：FI-代数、模糊逻辑、逻辑系统、完备性

所属期刊栏目：19

分类号：O159;O153(代数、数论、组合理论)

资助基金：广东省自然科学基金02A1073;广东省高校自然科学基金Z02017

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

页数：共5页

页码：25-29