检索结果-维普期刊中文期刊服务平台

一个新的零齐次核的希尔伯特型积分不等式被引量：6: 1; 作者谢子填曾峥《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第8期137-141,共5页; 通过对权函数的估算,应用实分析方法的技巧,建立了一个新的零齐次核的希尔伯特型积分不等式及其等价形式,并给出它们的逆向不等式,同时用复分析方法求出它们最佳的常数因子.; 关键词希尔伯特型积分不等式权函数 Hlder不等式; 在线阅读下载PDF 职称材料

一阶命题演算的希尔伯特型直觉主义系统: 2; 作者刘大中董克诚《河北大学学报（自然科学版）》 CAS 2001年第2期103-106,共4页; 简要介绍了一阶命题演算的希尔伯特型直觉主义系统 ,运用逻辑演绎的方法证明了此系统的一些定理 ,其目的在于加深对直觉主义系统中概念的理解 ,便于对此系统的进一步研究及应用 .; 关键词命题演算希尔伯特型直觉主义逻辑可构造性逻辑演绎推理; 在线阅读下载PDF 职称材料

命题演算的两个直觉主义系统被引量：1: 3; 作者刘大中董克诚《河北大学学报（自然科学版）》 CAS 2000年第4期316-319,共4页; 介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性。; 关键词直觉主义逻辑命题演算希尔伯特型自然演绎型; 在线阅读下载PDF 职称材料