位置：成果数据库 > 期刊 > 期刊详情页
How to construct formal system
  • 时间：0
  • 相关项目：模糊逻辑形式系统的构造、判定及定理证明算法研究
作者： San-min Wang*，Zhi-jun Lu
同期刊论文项目
模糊逻辑形式系统的构造、判定及定理证明算法研究
期刊论文 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
A logical framework for fuzzy
A fuzzy logic for the revised
有限链上的左（右）零模
R0-代数的子直积不可约表示定理
增量式软件设计方法的条件
完备布劳威尔格上蕴涵的结构
格上零模及其性质
三角模的构造及其相关算子性质的
关于逆M-矩阵Hadamard积的一个猜想
离散三角子模
关于QL-、D-蕴涵的分配性方程的解
满足I(x，I(y，x))=1的IT,N蕴涵的解
LΠ是Schweizer—Sklar参数化三角模及其剩余算子的逻辑
关于两类布尔迭代律的注记
模糊逻辑系统UL^＊不具有标准完备性