BIK^＋-逻辑与非可换模糊逻辑.pdfVIP

维普资讯 第 21卷第 6期 模 糊 系 统 与 数 学 Vo1．21．No．6 2007年 12月 FuzzySystemsandMathematics Dec．，2007 文章编号 ：i001—7402(2007)06—0031—06 BIK+一逻辑与非可换模糊逻辑 张 小红 (宁波大学 数学系，浙江宁波 31521i) 摘 要：引入 BIK 一逻辑 的概念 ，证 明了BIK 一逻辑 的可靠性定理 (基于BCC一代数)。同时，研究了 BIK 一逻辑与非可换模糊逻辑的关系，说明了各种源于模糊逻辑的代数结构之 间的 内在联 系，并用一 个 图示表达 了这些关系。 关键词 ；BIK 一逻辑 ；BCK一逻辑 ；非可换模糊逻辑；BCC一代数 中图分类号 ：01oi；0159 文献标识码 ：A I 引言 模糊逻辑与模糊推理的基础研究 日趋活跃 ，比如Hdjek在 [7]中提出基础逻辑系统BL；Esteva 与Godo在 [6]中建立 了模糊逻辑系统 MTL。同时，王国俊教授将模糊逻辑与模糊推理相结合 ，提 出模糊逻辑形式演绎系统I 、创建了较CRI方法更有效的三 I算法等[1。。。。我们在 [22]中建立了 具有完备性的模糊逻辑系统 UI ，它基于一般左连续 t一模且是 MTI系统的扩张，添加了新的对合 否定 “一”及投影算子 “△”。 近年来，受非可换线性逻辑 (它在逻辑程序设计 、计算语言学、模糊数据库等领域有重要应用) 的影响，几个基于伪 t一模 的非可换模糊逻辑系统相继提 出，即psBI，psMTI，psBI，psMTI， PI[8孔¨] 。 在这些工作的基础上，本文作者在-[21]中建立了非可换模糊逻辑系统 PUL ，并证明了 它的完备性定理 。同时，基于非可换 R。t一模 (也称为 PR。t-模)，一个新的非可换模糊逻辑系统PI 在 [23]中被建立，PI 具有完备性且是形式系统 I 的 自然的非可换推广。 BCK一逻辑和BCI一逻辑来源于 一演算和组合子 ，关于它们的研究最早可追溯到20世纪 50年代 Meredith的工作 (参见 [9]，[18]中的相关说 明)。1966年，K．Is~ki从 BCK／BCI一逻辑出发提 出 BCK／BCI一代数的概念[1hh”]。在考虑BCK一代数的簇问题时，Komori于 1983年提出较BCK一代数 广泛的BCC一代数[1，而 BCC一代数后来又被称为BIK 一代数[1 。关于BCC一代数，已有一些较深 入的研究，如[2]，[3]，r-s]，[24]。 本文从蕴涵算子 的特性出发研究各种非可换模糊逻辑的共同基础 ，用文献[1]及 [18]中的话 说，这就是研究各种非可换模糊逻辑的蕴涵片段 (implicationalfragment)。我们引入 BIK 逻辑的 概念 ，基于 BCC一代数 (BIK 一代数)证明了BIK 逻辑的可靠性定理。同时，讨论了BIK+_逻辑与各 种非可换模糊逻辑系统的关系 。与之相对应 ，也讨论 了各种源于模糊逻辑的代数结构之间的内在联 ★ 收稿 日期 {2006—07—05 基金项 目：国家 自然科学基金资助项 目；浙江省 自然科学基金资助项 目(Y605389) 作者简介：张小红 (1965一)，男 ．宁波大学信息与计算科学研究所副所长．教授 ．研究方向：代数学，计算机科学中的非经典逻 辑 ，模糊数学与Rough集理论。 维普资讯 32 模 糊 系 统 与 数 学 2007篮 系，并用图示总结了这些关系 。 2 关于BCK一逻辑与BCK／BCC一代数 定义 2．1[，m BCK一逻辑(严格地说，BCK一逻辑的蕴涵片段)是所有这样的公式之集，它们可 从下述公理出发由MP规则和替换规则推证得到：