伴随对

作品数：48被引量：85H指数：5
导出分析报告
相关领域：理学经济管理更多>>
相关作者：何华灿王国俊罗敏霞郑慕聪尤飞更多>>
相关机构：陕西师范大学西北工业大学福建师范大学运城学院更多>>
相关期刊：《北京师范大学学报（自然科学版）》《科学技术与工程》《山东大学学报（理学版）》《计算机工程与应用》更多>>
相关基金：国家自然科学基金北京市自然科学基金教育部科学技术研究重点项目山东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
泛逻辑学的蕴涵性质被引量：1
《计算机科学》2005年第5期137-139,共3页薛占熬 何华灿 
国家自然科学基金(No.60273087);北京自然科学基金(No.4032009)
蕴涵算子是逻辑学研究中的重点和难点。本文首先给出泛逻辑中的一级命题连接词完整簇的非、交、并和蕴涵运算模型,证明了泛蕴涵的正则性、单调性以及它和泛“交”的伴随性,这对于进一步研究泛逻辑的形式系统和代数结构以及完备性,都具...
关键词：泛逻辑学 蕴涵算子 伴随对 正则性 单调性 计算机技术 
基于幂零泛与运算模型的命题模糊逻辑被引量：3
《计算机科学》2004年第8期97-99,共3页罗敏霞 何华灿 
国家自然科学基金(60273087);北京市自然科学基金(4032009)资助
本文讨论了泛与运算模型 T(x,y,h)(h∈(0,0.75))的一些性质;证明了泛与运算模型 T(x,y,h)(h∈(0,0.75))是一个幂零三角范数;而且泛与运算模型 T(x,y,h)(h∈(0,0.75))与泛蕴涵运算模型 I(x,y,h)(h∈(0,0.75))是一个伴随对;进一步证明了([...
关键词：泛与运算模型 泛蕴涵运算模型 幂零三角范数 剩余 伴随对 数理逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部