语言真值格蕴涵代数的蕴涵不可约元

• 作者: 徐扬 赖家俊
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 语言真值格蕴涵代数 蕴涵不可约元 有限蕴涵分解元 有限蕴涵分解不可约元
• 年，卷（期）: 2014,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 1998-2003
• 页数: 6页
• 分类号: O141.1|O153
• 字数: 5348字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2014.10.020

摘要

本文提出了语言真值格蕴涵代数的蕴涵不可约元、有限蕴涵分解元、有限蕴涵分解不可约元的定义，并研究了它们的结构特征，证明了语言真值格蕴涵代数中的部分元素可由蕴涵不可约元通过张量积运算生成。