| 剩余格 |
| |
| 引用本文： | 李密堂,董克诚.剩余格[J].河北大学学报(自然科学版),2000,20(3):222-224. |
| |
| 作者姓名： | 李密堂 董克诚 |
| |
| 作者单位： | 河北大学,数学系,河北,保定,071002 |
| |
| 摘 要： | 剩余格是具备了一定条件的1 -广群 ,为了研究其结构 ,给出了剩余格的2个特征性质即剩余格中的每个元均为负的 ;一个抽象格L,当“∧”被取为运算时是剩余的 ,当且仅当L的对偶是一个布劳威尔逻辑.在这种情形下 ,剩余运算“∶”被特殊化为蕴涵运算“→”.
|
| 关 键 词： | 近群 剩余格 1-广群 布劳威尔逻辑 |
| 文章编号： | 1000-1565(2000)03-0222-03 |
| 修稿时间： | 2000-01-16 |
Residuated Lattices |
| |
| LI Mi-tang,DONG Ke-cheng.Residuated Lattices[J].Journal of Hebei University (Natural Science Edition),2000,20(3):222-224. |
| |
| Authors: | LI Mi-tang DONG Ke-cheng |
| |
| Institution: | LI Mi-tang
,DONG Ke-cheng
(Department of Mathematics, Hebei University, Baoding 071002, China) |
| |
| Abstract: | Residual Lattice is an 1-groupoid with some conditions.In order to research its construction,two special properties are provided. Every element in the residual lattice is negative. An abstract lattice L is residual when “∧” is taken as the gruoup operation, if and only if the dual of L is a Brouwerian logic. In this case, the residual operation“:” specializes to the implication operation “→”. |
| |
| Keywords: | monoid residuated lattice l-groupoid Brouwerian logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
