位置：成果数据库 > 期刊 > 期刊详情页
利用格蕴涵代数找出所有LI-理想的方法
  • ISSN号：1000-0984
  • 期刊名称：数学的实践与认识
  • 时间：2012.10.8
  • 页码：191-196
  • 分类：O153.1[理学—数学;理学—基础数学]
  • 作者机构：[1]郑州大学数学系,河南郑州450001
  • 相关基金：国家自然科学基金（61175055）
  • 相关项目：基于格值逻辑的α-n(t)元归结动态自动推理研究
作者： 赵建彬|朱华|
关键词： 格蕴涵代数, 理想, sl_理想, LI-理想, Lattice implication algebra, ideal, sl_ ideal, LI-ideal
中文摘要：

利用格蕴涵代数中理想的定义禾找出所有的理想需要花费大量的时间．给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数所有理想的方法；再利用析取运算表找出格蕴涵代数中所有sl-理想的方法；最后，利用蕴涵否运算表找出格蕴涵代数中所有LI-理想的方法．

英文摘要：

The traditional method to find all the LI-ideals usually spends a lot of time by according to the definition of LI-ideal in lattice implication algebras. In this paper, the new method to find all ideals is proposed by using the implicative operators in lattice implication algebras. Then all the s/_ideals are found by using the disjunctive operators. Finally, all the LI-ideals are found by using the implicative operators and negative operators.

同期刊论文项目
基于格值逻辑的α-n(t)元归结动态自动推理研究
期刊论文 279 会议论文 102 获奖 8
同项目期刊论文
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
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-代数
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归结推理
粗糙集代数构造格蕴涵代数
剩余格上的L滤子
剩余格的粗滤子
语言真值直觉模糊命题逻辑系统的推理规则
基于统一贴近度的模糊推理新方法
软集与软格
一类推广的Bernstein算子的逼近
基于格值逻辑系统LP(Ⅹ)的α-归结域的代数结构
非交换剩余格的子正蕴涵滤子
模糊参数模糊软R0-代数
基于Geom／Geom1/c排队的到港容量研究
直觉模糊集的结构化分析
格值一阶逻辑LF（X）中α-广义语义归结方法的相容性
基于业务效能的信息系统安全态势指标
基于Biased-SVM的非平衡半监督分类算法
考虑信息泄露的供应链成员决策研究
N元格蕴涵代数不等式的解Ⅱ
α-Input and a-Unit Resolution Methods for Generalized Horn Clause Set in LV（n×2）F（ X）
软结合BCI代数
期刊信息
  • 《数学的实践与认识》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院数学与系统科学研究院
  • 主编：林群
  • 地址：北京大学数学科学学院
  • 邮编：100871
  • 邮箱：bjmath@math.pku.edu.cn
  • 电话：010-62759981
  • 国际标准刊号：ISSN：1000-0984
  • 国内统一刊号：ISSN：11-2018/O1
  • 邮发代号:2-809
  • 获奖情况:
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:22973