期刊文章详细信息
关于格蕴含代数的公理系统
On Axiom Systems for Lattice Implication Algebras
文献类型：期刊文章
机构地区：[1]黎明职业大学计算机系,福建泉州362000
年 份：2003
卷 号：21
期 号：2
起止页码：7-10
语 种：中文
收录情况：NSSD、普通刊
摘 要：简化了由ZhuY .和TuW .给出的格蕴含代数的公理系统 ,并给出另一个公理系统。
关 键 词：格 蕴含 逻辑系统
分 类 号：O15[数学类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
