位置：成果数据库 > 期刊 > 期刊详情页
LΠ是Schweizer—Sklar参数化三角模及其剩余算子的逻辑
  • ISSN号：1001-7402
  • 期刊名称：《模糊系统与数学》
  • 时间：0
  • 分类：O141[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西师范大学数学与信息科学学院,西安陕西710062
  • 相关基金：Supported by the National Foundation of Natural Sciences of China （Grant No： 60663002） and the Grant Project of science and technology of The Education Department of Jiangxi Province （Grant No： 200618）
作者： 王三民[1], 赵彬[1]
关键词： 非经典逻辑, Schweizer—Sklar参数化三角模, UL逻辑, BL逻辑, LΠ逻辑, Non-lassical logics, Schweizer-Sklar parameterized t-norms, UL , BL, LΠ
中文摘要：

证明了LΠ是Schweizer—Sklar参数化三角模及其剩余算子的逻辑。这一结果给出了构造两个或多个模糊逻辑的定理的交集的统一语义的一种方法。

英文摘要：

In this paper, we prove that LΠ is the logic of the Schweizer-Sklar parameterized t-norms and their residua. This result presents a method for constructing unified form semantics of the intersection of the theorem sets of two or more fuzzy logics.

同期刊论文项目
模糊逻辑形式系统的构造、判定及定理证明算法研究
期刊论文 22 获奖 2
同项目期刊论文
Generalizations to the constru
关于满足I(x,y)=I(x,I(x,y))D-蕴涵的解
Logics with Disjunction and Pr
模糊逻辑系统UL*不具有标准完备
A partially ordered algebra re
Prenex normal form in linguist
How to construct formal system
A logical framework for fuzzy
A fuzzy logic for the revised
有限链上的左（右）零模
R0-代数的子直积不可约表示定理
增量式软件设计方法的条件
完备布劳威尔格上蕴涵的结构
格上零模及其性质
三角模的构造及其相关算子性质的
关于逆M-矩阵Hadamard积的一个猜想
离散三角子模
关于QL-、D-蕴涵的分配性方程的解
满足I(x，I(y，x))=1的IT,N蕴涵的解
关于两类布尔迭代律的注记
模糊逻辑系统UL^＊不具有标准完备性
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编：刘应明
  • 地址：湖南长沙国防科技大学理学院
  • 邮编：410073
  • 邮箱：fuzzysys@cfsm.cn
  • 电话：0731-84576220
  • 国际标准刊号：ISSN：1001-7402
  • 国内统一刊号：ISSN：43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》（Mathematical Reviews）核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8133