您的位置: 专家智库 > >

四川省教育厅科学研究项目(12ZB263)

作品数:1 被引量:1H指数:1
相关作者:贾海瑞秦晓燕徐扬刘熠更多>>
相关机构:西南交通大学内江师范学院更多>>
发文基金:四川省教育厅科学研究项目国家自然科学基金四川省科技支撑计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇代数
  • 1篇代数结构
  • 1篇蕴涵代数
  • 1篇滤子
  • 1篇格蕴涵代数
  • 1篇格值
  • 1篇格值逻辑
  • 1篇X

机构

  • 1篇内江师范学院
  • 1篇西南交通大学

作者

  • 1篇刘熠
  • 1篇徐扬
  • 1篇秦晓燕
  • 1篇贾海瑞

传媒

  • 1篇山东大学学报...

年份

  • 1篇2013
1 条 记 录,以下是 1-1
排序方式:
基于格值逻辑系统LP(X)的α-归结域的代数结构被引量:1
2013年
首先得到了与g不可α-归结的广义文字的集合D*α(g)做成了∨-半群且也是一个序滤子;其次研究了由D*α(g)所确定的一个新的代数结构Df,Df做成一个格滤子,并研究了Df的一些相关性质;最后研究了由Df所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构。
刘熠贾海瑞秦晓燕徐扬
关键词:格蕴涵代数滤子
共1页<1>
聚类工具0