|
|||||
|
|
| 偏序集上的蕴涵 | |
| 引用本文： | 张昆龙,孙一康,蒋慎言.偏序集上的蕴涵[J].内蒙古大学学报(自然科学版),2004,35(4):364-366. |
| 作者姓名： | 张昆龙 孙一康 蒋慎言 |
| 作者单位： | 1. 北京科技大学信息工程学院,北京,100083;内蒙古大学理工学院数学系,呼和浩特,010021 2. 北京科技大学信息工程学院,北京,100083 3. 鞍钢集团公司,辽宁,鞍山,114000 |
| 基金项目： | 国家自然科学基金项目(批准号:10261003)，内蒙古自然科学基金项目(批准号:200208020103) |
| 摘 要： | 首先引入偏序集上的基础蕴涵代数和蕴涵代数的概念，得到了偏序集上基础蕴涵代数和蕴涵代数的若干基本性质；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的特征刻画，又从格论的角度出发；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的一些格的性质以及蕴涵代数之偏序集成为格的一些条件． |
| 关 键 词： | 偏序集 蕴涵 格 |
| 文章编号： | 1000-1638(2004)04-0364-03 |
| 修稿时间： | 2003年11月28 |
The Implication on a Partial Ordered Set |
|
| ZHANG Kun-long.The Implication on a Partial Ordered Set[J].Acta Scientiarum Naturalium Universitatis Neimongol,2004,35(4):364-366. | |
| Authors: | ZHANG Kun-long |
| Institution: | ZHANG Kun-long~ |
| Abstract: | The concept of a basic implication algebra and an implication algebra on a partial ordered set are obtained by studying the conditions that the implicative operator in a logic system should be satisfied.The basic properties with different conditions and the characterizes of the implication algebra are given. The iff conditions for a basic implication algebra to be a implication algebra are discussed. The relations between the basic implication algebra and the implication algebra are gained. From the view of lattices, some lattice properties of the implication algebra and the conditions under which a implication algebra is a lattice are found. |
| Keywords: | partial ordered set implication lattice |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |