论文部分内容阅读
蕴涵算子是逻辑学研究中的重点和难点.本文首先给出泛逻辑中的一级命题连接词完整簇的非、交、并和蕴涵运算模型,证明了泛蕴涵的正则性、单调性以及它和泛"交"的伴随性,这对于进一步研究泛逻辑的形式系统和代数结构以及完备性,都具有重要的理论价值.
泛逻辑学的蕴涵性质
【摘 要】
：
蕴涵算子是逻辑学研究中的重点和难点.本文首先给出泛逻辑中的一级命题连接词完整簇的非、交、并和蕴涵运算模型,证明了泛蕴涵的正则性、单调性以及它和泛"交"的伴随性,这对
【机 构】
：
西北工业大学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2005年5期
【基金项目】
：
国家自然科学基金，北京市自然科学基金
其他文献
随着网络技术的发展,IPv6协议已经成为了世界各国构建下一代互联网的核心协议.流媒体内容分发网络(CDN)是近年来用于解决互联网上响应速度慢和提高访问服务质量的一种典型技