位置：成果数据库 > 期刊 > 期刊详情页
LF（X）中带广义量词的可靠性定理
  • ISSN号：1001-7402
  • 期刊名称：《模糊系统与数学》
  • 时间：0
  • 分类：O101[理学—数学;理学—基础数学]
  • 作者机构：[1]西南交通大学数学系,四川成都610031, [2]四川师范大学数学与软件科学学院,四川成都610066, [3]西南民族大学电信学院,四川成都610041
  • 相关基金：国家自然科学基金资助项目（60474022）
作者： 周平[1,2], 姜明[3], 徐扬[1]
关键词： 一阶格值逻辑系统LF(X), 广义量词, 可靠性定理, First-order Lattice-valued Logic System LF（X） , Generalized Quantifier, Soundness Theorem
中文摘要：

讨论一阶格值逻辑系统LF（X）中带广义量词的语法推理，同时证明了LF（X）中带广义量词的可靠性定理，作为应用我们对带广义量词的一些推理规则作了语法的证明。

英文摘要：

In the present paper, it is devoted to the discussion of the syntax with generalized quantifier in the first order lattice valued logic system LF（X）. It is also proved the soundness theorem with generalized quantifier in LF（X）. As application, we prove some reasoning rules syntax.

同期刊论文项目
基于格值逻辑的语言真值归结自动推理研究
期刊论文 258 会议论文 118 著作 4
同项目期刊论文
New Definition and Properties
Weak LI-ideal in Lattice Impli
LI-ideal spaces of lattice imp
Normal Fuzzy Filters in Lattic
L-Fuzzy Rough Set Based on Res
Fuzzy Logic from the Viewpoint
A study of enterprise human re
A new view on fuzzy hypermodul
Closure Operators of Lattice-v
A language-valued evaluation s
A Rough Sets based Characteris
Transformation of Linguistic T
格值命题逻辑系统LP(X)中广义文
粗糙近似算子的拓扑性质
感观评价过程中语言值的转化
Closure operators of lattice-valued propositional logic LP(X)
A credit evaluation in e-busin
A Depth-First Algorithm of Fin
An evolution Strategy for the
Linguistic model for the contr
Congruence Relations Induced b
Components in Lattices Implica
格值命题逻辑系统Lvpl中的推理规
布尔关联规则集的结构
伪NM代数及其性质
格蕴涵代数不等式
不协调决策表正域约简与其它约简
基于粗糙集理论的模型结构选择与
一种构造格蕴涵代数的方法
超模的同构定理
非可换模糊逻辑系统PL*及其完备
决策表的正域约简及核的计算
基于集值影射的近似算子
有转运运输问题的Hopfield神经网
基于递归神经网络的预测模糊控制
基于剩余蕴涵的模糊概念格构造方
基于并行分层式链路的分布式数据
基于概率信息系统决策规则的R0三
格值命题逻辑系统中的归结自动
剩余格蕴涵代数中n-重素滤子的研
数量经济学与数据挖掘
On the Consistency of Rule Bas
Method of Solution to A Finite
A Fuzzy-set Approach to Treat
Knowledge Discovery for Event
Frequent Item Sets Acquisition
A model of decision-making wit
Generalized fuzzy filters of B
An Intelligent Sensory Evaluat
概念格中不同类型多值背景的研究
Generalized Quantifier in The
基于Schweizer-Sklar T-范数的模
区间值直觉模糊超子群
基于粗糙集扩展模型的决策树生成
广义变精度粗糙集模型中近似算子
The Semantics of Lattice-value
On Fuzzy h-Ideals of Hemirings
An extended process model of k
Resolution–Based Automatic Re
The Properties of Implication
Logical Properties of Lattice
Mining Maximal Frequent Patter
A Linguistic Truth-valued Reas
Handling Linguistic Web Inform
On a Mathematical Relationship
A method to multiple attribute
Intrinsic Value and Market Tim
A Fuzzy Model of Customer Sati
Intuitionistic (S,T)-Fuzzy M-S
Linguistic Truth-value Lattice
基于Dempster-Shafer证据理论的
A Usability-Evaluation Method
Linguistic Truth Values Lattic
Fault Diagnosis and Reliabilit
A Strategy of Finding Maximal
Inclusion degree and support d
一种作业车间调度问题的Hopfield
基于证据理论的人力资源评价合作
在VPRS模型中保持边界的属性约简
Intuitionistic Fuzzy Filters i
An Answer to the Jun-Shim-Lele
计算机辅助感官评估实验的自学习
L-Fuzzy Rough Set Based on the
A Linguistic Lattice-Valued Ap
基于语言真值格值命题逻辑系统的
Inequality with Degrees
Discussion on Resolution Liter
MP Resolution Inference Method
模糊推理的三I算法
基于Lukasiewicz蕴涵算子的反向
依赖空间及其在知识发现中的应用
连续属性决策表的规则获取
Integration of Genetic Algorit
决策表正域约简区分函数条件的改
一种新的加权关联规则模型
The Hierarchical Fuzzy Evaluat
On covering rough sets
BCI-implicative ideals of BCI-
Weighted Qualitive Fuzzy Propo
The Compavt and Noncompact Str
格值一阶逻辑系统LF(X)中带广义
格值一阶逻辑系统LF（X）中的广
格蕴涵代数的素对偶理想
基于格值命题逻辑系统LP（X）的
格蕴涵代数中的格蕴涵代数方程
区间值模糊命题逻辑的∑－广义拟
Generalized fuzzy filters of R
基于对象间相互作用的形式概念分
家用燃气热水器自适应模糊控制策
A linguistic truth-valued unce
A case retrieval model based o
剩余格蕴涵代数中准素理想的研究
Fuzzy h-ideals of Hemirings.
Interpreting and Extracting Fu
On fuzzy isomorphism theorems
基于格值逻辑的语言真值命题逻辑
基于格值逻辑的语言真值一阶逻辑
On transitive uncertainty mapp
格值命题逻辑系统中基于半正则
格值命题逻辑系统中的自动推理
边界域划分约简标准简析
Pseudo-BCK algebras and PD-pos
Fuzzy reasoning with generaliz
A Method for Data Classificati
L-fuzzy h-ideals with operator
Research into Semantical Closu
Ultraproduct of First-order La
Updated Reduction Algorithm in
基于左连续伪T-模的非可换模糊逻
双论域L模糊粗糙集
基于集值映射的拟划分空间中近似
改进的k-平均聚类算法研究
变精度粗糙模糊集模型研究
基于不同蕴涵算子的模糊概念格建
On Relations between Lattice I
关于一类有限格蕴涵代数方程的解
一种算子命题逻辑系统及其T－不
The Intelligent Evaluation Sys
The relationship among several
Double-layer Modificatory Ling
格值命题逻辑系统中-归结域与-
Structure of Fuzzy Filters in
Approach of Concept Lattice to
知识约简的逻辑特征
基于递归神经网络模型预测控制的
基于粗糙集的数据聚类方法研究
Lattice implication ordered se
基于形式背景的概念格约简及其修
基于完备IMTL代数的L模糊粗糙集
基于集合枚举树的关联规则生成算
组织内部形成良好心理契约的博弈
基于包含度的决策表属性约简算法
Resolution Principle on Lattic
Intelligent spider’s algorith
模糊层次分析法权重研究
基于扩张原理的多重多维模糊推理
Study on LI-Ideals of Finite L
On Normed Lattice H Implicatio
Filter-Based Resolution Princi
Intuitionistic Fuzzy Temporal
模糊粗糙集代数
The Algorithm of the Quick Fit
Resolution Fields Of Generaliz
Interval Valued Intuitionistic
基于赋范格H蕴涵代数的性质
基于概念格的语言真值不确定性推理
基于格值一阶逻辑LF（X）的自动推理算法
格值命题逻辑系统L2n＋1P（X）中基于半正则广义文字的自动推理算法
基于多输入信息融合模型的暂态稳定分类
变精度覆盖粗糙集模型的比较
基于形式背景的概念格约简及其修复
LI-ideal Spaces of Lattice Implication Algebra
交通运输网络中两个结点间有流量约束的最小费用最大流算法
Syntactic Extension of Lattice-valued Propositional Logic LP（X）
The Direct Product of Graded Finite Posets
计算机辅助感官评估实验的自学习控制
格值命题逻辑系统中基于滤子的MP归结演绎
集值信息系统在相容关系下的属性约简
格值一阶逻辑系统LF（X）中带广义量词的α-归结原理
粗糙集代数中的剩余格结构
模糊粗糙近似算子的拓扑性质
格值一阶逻辑系统LF（X）中带广义量词的不确定性推理
一种算子命题逻辑系统及其T-不变量推理算法
基于粗糙集与相关向量机的文本分类新方法
不协调覆盖决策系统下属性约简的新的注记
基于不协调覆盖决策系统新的分辨矩阵注记
基于VPRS理论的一种混合分类算法
变精度粗糙集模型及其应用研究
决策表正域约简区分函数条件的改进
粗糙集代数与MV代数
区间值信息系统基于极大相容类的属性约简
关于一类有限格蕴涵代数方程的解法
格值-阶逻辑系统LF（X）中的广义量词
基于递归神经网络模型预测控制的模型平稳切换
完备剩余格中的上近似与下近似模糊推理方法
有转运运输问题的Hopfield神经网络优化方法
协调覆盖决策系统下基于条件信息熵的属性约简
小波函数在识别PCB串扰信号频率中的应用
基于证据理论的人力资源评价结果合成方法
一种作业车间调度问题的Hopfield神经网络优化方法
剩余格蕴涵代数中n-重素滤子的研究
（m，n）型二重（r1,r2）-循环矩阵的逆和广义逆
M-半群的直觉（S，T）-模糊M-子半群的性质
伪格蕴涵代数
不确定广义系统的时滞依赖鲁棒镇定
基于三角模的模糊粗糙集与模糊关系之间的联系
L-Fuzzy Rough Set Based on Complete Residuated Lattice
Some Properties of α-Subsets
Properties of Fuzzy Entropy Based on the Shape Change of Membership Function
The Syntax of Lattice-Valued Propositional Logic System lp（X）
Logical Properties of Lattice Filter of Lattice Implication Algebra
Knowledge Discovery for Event Series Decision Based on Rough Set
Fault Diagnosis and Reliability Analysis Using Fuzzy Logic Method
半群中的粗准素理想与粗模糊准素理想
运输网络转运结点有容量限制的最大流分配算法
Properties and Relations of Several Operators Based on Covering Rough Sets
A Method for Data Classification Based on Discernibility Matrix and Discernibility Function
J-Resolution Fields of Generalized Literals of L14 P（X）
GENERALIZED FUZZY FILTERS OF BL-ALGEBRAS
一种算子模糊逻辑系统
CATV自动寻址与收视控制信息系统研究
Mining Maximal Frequent Patterns in a Unidirectional FP-tree
Linguistic Truth Values Lattice Implication Algebras
半环中的粗模糊子半环
规则提取算法LBR-EM3及其在心电信号中的应用
交通网络两个相邻结点之间有流量约束的最大流分配算法
A Depth-first Algorithm of Finding All Association Rules Generated by a Frequent Itemset
粗糙集代数与R0-代数
基于模糊关系相似与相像的一点注记
Probabilistic Fuzzy Hypermodules
集值信息系统基于极大变精度相容类的属性约简
一般二元关系下粗糙集的拓扑性质
学生面试问题的一点探讨
Vague决策表理论研究及其决策表的应用
一种基于模糊划分的知识发现
基于包含度的决策表属性约简算法的研究
非可换模糊逻辑系统PL^＊其完备性
两种类型的粗糙度不等式
L-fuzzy h-ideals with Operators in Hemirings
LF（X）中带广义量词的弱完备性定理
On Fuzzy Interior Ideals in Semigroups
基于集值映射的拟划分近似空间中近似算子
基于模糊理论的量化关联规则挖掘算法
基于集值映射的近似算子
一种自适应的模糊关联规则挖掘算法
变精度覆盖粗糙集
集值信息系统在变精度相容关系下的决策规则
广义模糊粗糙集的广义不确定性
基于集对分析的多值信息系统粗集模型及其约简
基于拟序关系的约简
New Definition and Properties of Fuzzy Entropy
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编：刘应明
  • 地址：湖南长沙国防科技大学理学院
  • 邮编：410073
  • 邮箱：fuzzysys@cfsm.cn
  • 电话：0731-84576220
  • 国际标准刊号：ISSN：1001-7402
  • 国内统一刊号：ISSN：43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》（Mathematical Reviews）核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8133