位置：成果数据库 > 期刊 > 期刊详情页
剩余格上的L滤子
  • ISSN号：1001-7402
  • 期刊名称：模糊系统与数学
  • 时间：2014
  • 页码：1-6
  • 分类：O153[理学—数学;理学—基础数学]
  • 作者机构：[1]西南交通大学数学学院,四川成都610031
  • 相关基金：国家自然科学基金资助项目（61100046;61175055;61305074）; 四川省应用基础研究计划项目（2011JY0092）; 四川省科技支撑计划项目（2013GZX0167）
  • 相关项目：关于程度化格值一阶逻辑的若干关键问题研究
作者： 潘小东|
关键词： 模糊逻辑, 剩余格, 广义MP规则, 真值提升规则, L滤子, Fuzzy Logic, Residuated Lattice, Generalized MP Rule , L-lifting Rule, L-filter
中文摘要：

剩余格为模糊逻辑和模糊推理提供了一种良好的代数结构,滤子是剩余格中一个十分重要的概念,它在基于剩余格的模糊逻辑代数语义的研究中,扮演着一个关键的角色。本文基于Pavelka所提出的广义MP规则和真值提升规则,研究基于这两种推理规则的演绎系统的代数化问题。引入L滤子的概念,讨论这些滤子之间的关系,并给出它们的一些代数刻画。

英文摘要：

Residuated lattices provide a well algebraic structures for the studying of formal fuzzy logics and fuzzy inferences, filter is an important concept in residuated lattices theory, it plays a significant role in the algebraic semantics of formal logics based on residuated lattices. Based on the generalized MP rule and L-lifting rules proposed by Pavelka, the aim of this paper is to investigate the algebraization of deductive systems according to the two kinds of inference rules, introduce the notion of L-filter in residuated lattices. We also examine their mutual dependencies, and present some algebraic characterizations of these filters.

同期刊论文项目
基于格值逻辑的α-n(t)元归结动态自动推理研究
期刊论文 279 会议论文 102 获奖 8
关于程度化格值一阶逻辑的若干关键问题研究
期刊论文 26 会议论文 13
基于格值逻辑的α-锁归结与α-锁调解自动推理
期刊论文 13
同项目期刊论文
alpha-Quasi-Lock Semantic Resolution Method for a Lattice-Valued Logic
Graded propositional fuzzy logic for approximate reasoning
语言判断矩阵的一致性调整方法
格蕴涵代数的粗糙滤子
语言真值格值命题逻辑系统中广义文字的归结判定
General form of alpha-resolution based on linguistic truth-valued lattice-valued logic
Triangle norm based fuzzy logic based convex fuzzy sets
一种语言判断矩阵不一致性的修正方法
基于PSO-SVM的交通流量短时预测
alpha-Linear Resolution Method Based on Linguistic Truth-Valued Lattice-Valued Propositional Logic S
On the algebraic structure of binary lattice-valued fuzzy relations
Syntax theory of finite lattice-valued propositional logic
LP(X)中MP归结推理
区间数判断矩阵满意一致性的判定方法和方案的排序
alpha-Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X)
粗糙集代数构造格蕴涵代数
群决策中语言信息与其他4种偏好信息的一致化方法
剩余格的粗滤子
一种求解LP问题的两阶段基点迭代转移方法
Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra
The Substitution Theoremon Lattice-valued Modal Propositional Logic LMPL(X)
Triangular norm based graded convex fuzzy sets
α-ordered linear resolution method for lattice-valued logic system based on lattice implication alge
alpha-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
α-Input and α-unit resolution methods for generalized horn clause set
α-Group Semantic Resolution Method Based on Lattice valued Propositional Logic System LP(X)
Isomorphism Theorems for Soft Rings
α-resolution fields of generalized literals in lattice-valued propositional logic
一种基于18元语言值模糊相似矩阵的聚类方法
命题逻辑公式中的冗余子句及冗余文字
基于改进的云重心评判方法的机场电磁环境复杂度评估
A novel belief rule base representation, generation and its inference methodology
General form of (α, β)-fuzzy congruence relation on lattice implication algebras
一种基于十八元语言值模糊相似矩阵的聚类方法
剩余格蕴涵代数中多重模糊结合滤子的研究
Falling fuzzy ideals of hemirings
基于语言真值格值一阶逻辑系统中程度化公式的注记
一种新的广义模糊数相似度计算方法
语言值区间二元组能量平均算子及其应用
Characterizations of hemirings based on probability spaces
(∈，∈∨qk)-Fuzzy filters and (∈，∈∨qk)-fuzzy congruen
Multiple attribute decision making with interval-valued intuitionistic fuzzy preference information
Soft rings related to fuzzy set theory
Characterizations of semihyperrings by their fuzzy hyperideals
Study on T-fuzzy LI-ideal of Lattice Implication Algebras
Redefned generalized fuzzy R-subgroups of near-rings
The characterization of Gamma-modules in terms of fuzzy soft Gamma-submodules
On rough hyperideals in hyperlattices
LP ( X )中M P归结推理MP Resolution Inference in LP( X )
Multiary α-resolution principle for a lattice-valued logic
A new method for feature selection of radio abnormal signal
Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)
Robustness of fuzzy connectives and fuzzy reasoning
Multi-ary α-Resolution Principle for a Lattice-Valued Logic
格蕴涵代数的区间值T-模糊滤子理论
α-Quasi-Lock Semantic Resolution Method for a Lattice-Valued Logic
On Filters of Lattice Implication Product Algebra L1×L2
基于语言真值格值一阶逻辑系统Lv(n×2)F(X)中两种模型的不确定性推理
On (fuzzy) isomorphism theorems of soft Γ-hypermodules
Fuzzy h-ideals with operators in Γ-hemirings
基于语言真值格值一阶逻辑系统Lv(n×2)F(X)中程度化公式的一些注记
(Implicative) pseudo-valuations on R0-algebras
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Deci
A Method for Multi-attribute Decision Making Under Uncertainty Using Evidential Reasoning and Prospe
Some kinds of falling fuzzy filters of lattice implication algebras
A group decision making model for partially ordered preference under uncertainty
Properties of Raha's similarity-based approximate reasoning method
Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)
A unified algorithm for finding k-IESFs in linguistic truth-valued lattice-valued propositional logi
Characterizations of hemiregular hemirings via a kind of new soft union sets
Redundancy of set of clauses in propositional logic
Solutions to open problems on fuzzy filtersof BL-algebras
Some types of falling fuzzy filters of BL-algebras and its applications
Applications of soft union sets to hemirings via SU-h-ideals
Relations among similarity measure, subsethood measure and fuzzy entropy
a- Generalized Semantic Resolution Method in Linguistic Truth- valued Propositional Logic LV(n×2)P(X
General forms of (α, β)-fuzzy subhypergroups of hypergroups
Generalized fuzzy algebraic hypersystems
α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
Fuzzy parameterized fuzzy soft lattice implication algebras
Attribute reduction algorithm of the lattice-valued concept lattice
A Combination Algorithm of the Lattice-Valued Concept Lattice
N元格蕴涵代数不等式的解~* I
Chinese Word Semantic Proofing for Special Domain Using Fuzzy Mapping Aggregation Rules
Fuzzy parameterized fuzzy soft h-ideals of hemirings
Soft intersection h-ideals of hemirings and its applications
On Fuzzy Congruences and Fuzzy Strong h-Ideals of Hemirings
基于PCA及FCM的C波段无线电信号分类方法
格值逻辑系统的α-广义归结原理
Pseudo-Weak-R-0 Algebras
The Axioms Independence of Pseudo-Weak-R-0 Algebras and Filters
Attribute Extended Algorithm of Lattice-Valued Concept Lattice Based on Congener Formal Context
格值一阶逻辑LF(X)中的α-语义归结方法
α-Minimal resolution principle for a lattice-valued logic
 基于（M, N）-软交h-理想（半环）的h-半正则h-半环的特征
Interval-valued intuitionistic (T, S)-fuzzy filters theory on residuated lattices
h-半环的落影模糊k-理想及应用
Idealistic soft Γ？rings
区间值犹豫模糊集
一种基于模糊数相似度的风险分析方法
alpha-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasonin
格蕴涵代数中的直觉模糊理想
基于广义不可区分关系的决策表约简
CHARACTERIZATIONS OF FUZZY M--HEMIRINGS
GENERALIZED FUZZY n-ARY SUBHYPERGROUPS OF A COMMUTATIVE n-ARY HYPERGROUP
A Combination Algorithm of Multiple Lattice-Valued Concept Lattices
GA-Based Feature Selection Method for Imbalanced Data with Application in Radio Signal Recognition
真值限定的语言真值直觉模糊推理
一阶逻辑公式相对真度的计算形式
软BCI-代数的软固执理想
直觉模糊逻辑的(α,β)-广义锁归结方法
支持向量机方法预测七鳃鳗miRNA前体
Linguistic truth-valued intuitionistic fuzzy reasoning with applications in human factors engineerin
基于格值一阶逻辑LF(X)的多元α-归结原理的注记
Robustness of fuzzy connectives and fuzzy reasoning with respect togeneral divergence measures
re-Horn子句集的Horn化及可满足性判定方法
alpha-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional
基于格值一阶逻辑LF(X)的多元α-归结原理的注记
Applications of Falling Fuzzy h-bi-(h-quasi-)ideals to Hemirings Based on Probability Spaces
On lifting quasi-filters and strong lifting quasi-filters in MV-algebras
基于证据推理的确定因子规则库推理方法
基于证据推理的确定因子规则库推理方法
基于证据推理和第3代前景理论的不确定性多属性决策方法
On (M,N)-S I (implicative) filters in R-0-algebras
Characterizations of fuzzy soft Gamma-hemirings
Characterizations of Abel-Grassmann's Groupoids
Fuzzy soft Gamma-hemirings
(Fuzzy) hyperlattices and fuzzy preordered lattices
Applications of a new soft set to h-hemiregular hemirings via (M, N)-SI-h-ideals
IFP-Intuitionistic Fuzzy Soft h-Ideals of Hemirings and Its Decision Making
Feature selection for multi-class imbalanced data sets based on genetic algorithm
基于程度不可区分关系的粗糙集模型
命题逻辑的子句集中文字的分类
基于前景理论和证据理论的混合型多属性决策方法
基于前景理论和证据理论的混合型多属性决策方法
基于证据理论的不确定性推理方法及其应用
基于证据理论的不确定性推理方法及其应用
The validity degree vectors of formulae in two-valued predicate logic
Redefined soft relations and soft functions
基于CDMA系统手机定位的居民出行OD调查技术
语言真值格值命题逻辑中的α-语义归结方法
六元语言值直觉模糊的金融决策推理方法
基于区间数距离的模式识别方法
基于业务用户行为的计算机动态取证评估模型研究
Feature Selection Method for Imbalanced Data with Application in Radio Signal Recognition of Ground-
General form of alpha-resolution principle for linguistic truth-valued lattice-valued logic
IFI-ideals of lattice implication algebras
基于格值命题逻辑系统LP(X)的多元α-归结原理的注记
基于逻辑合取的语言真值概念格合并算法
二值谓词逻辑中公式的向量真度
命题逻辑中非子句α-有序线性广义归结方法
Characterizations of regular Abel-Grassman’s groupids by the properties of their (∈,∈ ∨qk)-fuzzy ide
Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)
基于格值逻辑系统LP(X)的归结域的代数结构
基于Geom/Geom/1/c排队的到港容量研究
Decomposition Computing of Lattice-Valued Concept Lattice Based on Attribute Values
带模糊参数的理想化模糊软环
基于ReliefF和聚类的特征选择方法及其在无线电信号识别中的应用
Fuzzy Γ-hyperrings and fuzzy Γ-hypermodules
On Intuitionistic (S, T)-Fuzzy Hv-Submodules of Hv-Modules
双重不确定性信息的代数结构及运算
α-Quasi-lock semantic resolution algorithm in linguistic truth-valued lattice-valued propo
Unbalanced linguistic aggregation operator in group decision making
Fuzzy Ideals of Near-rings based on the theory of falling shadows
Lattice-valued modal propositional logic based on M-lattice implication algebras
利用格蕴涵代数找出所有滤子的算法
Falling fuzzy (implicative) filters of R0-algebras and its applications
基于语言真值格值一阶逻辑系统Lv(n×2)F(X)中两种模型的不确定性推理
基于焦点可视化的决策支持系统研究
三维虚拟机器人运动仿真系统设计
格蕴涵代数的粗糙滤子
Characterizations of three kinds of hemirings by fuzzy soft h-ideals
Fuzzy Gamma Modules Based on Fuzzy Binary Operations
带有可信度的偏序偏好决策信息的聚合方法
一种针对不确定偏序偏好信息的群决策模型
区间值犹豫模糊WOWA算子及其在决策中的应用
Vague Congruences and Quotient Lattice Implication Algebras
语言真值格蕴涵代数的蕴涵不可约元
格值矩阵博弈研究
区间型决策概念格在质量—库存管理中的应用
程度化语言值链上的语言真值概念格及其应用
一类由模糊理想诱导出的软商环
基于服务专业化的数据抽取方法研究
支付值为区间数的双矩阵博弈的二次规划求解方法
ｒ－块置换因子循环矩阵及其逆矩阵的求法
A new view of fuzzy k-ideals of hemirings
(μ,ν)-Resolution Method for Intuitionistic Operator Fuzzy Logic
软可换BCI-代数
利用格蕴涵代数找出所有LI-理想的方法
N元格蕴涵代数不等式的解2
带蕴涵算子的N元格蕴涵代数不等式的解
N元格蕴涵代数不等式的解*1
Approximation operators on complete completely distributive lattices
FP-soft Rings
α-linear resolution method based on linguistic truth-valued lattice-valued propositional logic syste
格蕴涵代数中的零化子
一种基于非合作博弈的分层网络频谱分配机制
子句集Σ的极大Horn下界
一种基于十元格蕴涵代数的知识表示方法
广义回归神经网络的改进及在交通预测中的应用
语言值直觉模糊二元组表示模型
Using FCM to Select Samples in Semi-Supervised Classification
LP(X)中MP归结推理
粗糙集代数构造格蕴涵代数
剩余格的粗滤子
语言真值直觉模糊命题逻辑系统的推理规则
基于统一贴近度的模糊推理新方法
基于统一贴近度的模糊推理新方法
软集与软格
一类推广的Bernstein算子的逼近
基于格值逻辑系统LP(Ⅹ)的α-归结域的代数结构
非交换剩余格的子正蕴涵滤子
模糊参数模糊软R0-代数
基于Geom／Geom1/c排队的到港容量研究
直觉模糊集的结构化分析
格值一阶逻辑LF（X）中α-广义语义归结方法的相容性
格值一阶逻辑LF（X）中α-广义语义归结方法的相容性
基于业务效能的信息系统安全态势指标
基于Biased-SVM的非平衡半监督分类算法
基于Biased-SVM的非平衡半监督分类算法
考虑信息泄露的供应链成员决策研究
N元格蕴涵代数不等式的解Ⅱ
基于期望准则和分布自由的回购契约协调模型
区间值模糊同或算子
基于区间D-S证据理论的物流中心选址模型
分布自由时基于可控提前期的契约适应性研究
一种面向不平衡数据的半监督特征选择算法
α-Input and a-Unit Resolution Methods for Generalized Horn Clause Set in LV（n×2）F（ X）
软结合BCI代数
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编：刘应明
  • 地址：湖南长沙国防科技大学理学院
  • 邮编：410073
  • 邮箱：fuzzysys@cfsm.cn
  • 电话：0731-84576220
  • 国际标准刊号：ISSN：1001-7402
  • 国内统一刊号：ISSN：43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》（Mathematical Reviews）核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8133