Heyting代数与关联BCK代数的关系

• 作者: 李兴宽 陈世联 马锐
• 来源期刊: 云南农业大学学报
• 学科: 数学
• 关键词: Heyting代数 BCK代数 FI代数
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 基础学科
• 页码范围: 387-389
• 页数: 3页
• 分类号: O1
• 字数: 2101字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-390X.2006.03.025

摘要

Heyting代数是作为直觉主义命题的代数模型而引进的,而BCK代数是日本数学家于1966年引入的代数.讨论了Heyting代数与BCK代数之间的关系,给出了构成Heyting代数的一个充要条件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马锐	云南财贸学院计科系	23	66	4.0	7.0
2	李兴宽	昆明理工大学理学院	10	131	5.0	10.0
4	陈世联	昆明理工大学理学院	23	71	5.0	8.0