董克诚
- 作品数：19 被引量：5H指数：2
- 供职机构：河北大学数学与计算机学院更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 命题演算的两个直觉主义系统被引量：1
- 2000年
- 介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 。
- 刘大中董克诚
- 关键词：直觉主义逻辑命题演算
- 有穷长半模偏序集上的一个定理
- 1992年
- 本文是对参考文献[1]第二章定理14证明的补充和改进。该定理乃指: 定理14.在任何上(或下)半模的有穷长的偏序集内,Jordan-Dedekind链条件成立。 文献[1]中,考虑上半模情形,谈到已知一个连接链:γ∶a=x_0
- 董克诚周子亮
- 关键词：链条件
- 结构格的一个定理
- 1990年
- 本文首先叙述一些概念及其性质,其次给出一个定理如下: 定理令γ为一棵有限树,X为一个简单序L一群,R_#表示实数L一群,B表示二元格,则γ_X是一个L一群。γ_(R_#)的结构格为γ_B。
- 董克诚
- 交换格序群的几个定理
- 1999年
- 讨论了交换ｌ－群的一些性质，给出了交换ｌ－群的几个定理，并证明了这些定理中的交换性条件的必要性。
- 李密堂董克诚
- 关键词：交换群
- 格序群有基的一个充要条件
- 1999年
- 证明了格序群有基的一个充要条件
- 李密堂董克诚
- 关键词：格序群充要条件
- L-群的一个非直字典式扩张
- 1999年
- 讨论了Ｌ－群的一个非阿贝尔字典扩张，证得它是非直的。并且导出一个结论：如果Ｌ－群Ｇ是非阿贝尔的，虽然仅含有限个Ｌ－理想。
- 李密堂董克诚
- 一阶命题演算的希尔伯特型直觉主义系统
- 2001年
- 简要介绍了一阶命题演算的希尔伯特型直觉主义系统 ,运用逻辑演绎的方法证明了此系统的一些定理 ,其目的在于加深对直觉主义系统中概念的理解 ,便于对此系统的进一步研究及应用 .
- 刘大中董克诚
- 关键词：命题演算直觉主义逻辑
- 格序群的一个特征性质
- 1990年
- 本文讨论了格序群的一个特征性质,回答了G.Birkhoff一篇论文(Birkhoff.G, Lattice-orderred gronps, Ann, of Math. Vol.43, NO.2(1942)298—331)第331页中的下述问题: 问题15,求对于定理9内条件(C)的一个更直接的代替:在运算上的一个简单条件或简单条件的集,必须和充分的使运算(a-b)~*+b是结合的。 本文给出了上述问题的解答,即定理中的条件(Ⅳ)。 注意:在BirkhoffG.一文的第302页有下述定理。 定理9 一个l—群G,可被定义为一个群,具有一个一元运算,集在所有内自同构之下不变,且适合: (a)0~*=0 (b)c=c~*-(-c)~* (c)运算a∨b≡(a-b)~*=b是结合的。
- 董克诚
- 关键词：格序群
- 关于格序群中交换性的注记被引量：2
- 1992年
- 本文利用非交换格序群的一个例,证明了交换格序群一些命题中交换性条件的必要性。例令G是一个群有三个无穷阶、线性无关的生成元a,b,c;并且定义关系a+b=b+a,a+c—c+b,b+c—c+a;G^+包含ma+m＇b+nc当且仅当n>0或n—0而m≥O,m＇≥0。
- 董克诚
- 关键词：格序群交换性生成元全序正规子群
- 模态逻辑系统S5的本原运算子集
- 1997年
- 探讨了模态逻辑系统Ｓ５的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
- 李芸董克诚
- 关键词：模态逻辑
