泛逻辑学的蕴涵性质  

The Properties of the Implication in Universal Logics

作　　者：薛占熬[1] 何华灿[1] 

机构地区：[1]西北工业大学计算机学院,西安710072

出　　处：《计算机科学》2005年第5期137-139,共3页Computer Science

基　　金：国家自然科学基金(No.60273087);北京自然科学基金(No.4032009)

摘　　要：蕴涵算子是逻辑学研究中的重点和难点。本文首先给出泛逻辑中的一级命题连接词完整簇的非、交、并和蕴涵运算模型,证明了泛蕴涵的正则性、单调性以及它和泛“交”的伴随性,这对于进一步研究泛逻辑的形式系统和代数结构以及完备性,都具有重要的理论价值。The study of implication operator is important and difficult in the study of logic. In this paper, the opera- tion models of the l-level propositional connectives cluster in universal logics are first introduced, which have the properties of complement, intersection, union and implication. Regularity and monotonicity of universal implication are proved, the property of adjoint pair of universal intersection and implication is also proved. It is important theo- retical value for further researching the Universal Logic's formal system and algebraic structure with completeness.

关 键 词：泛逻辑学 蕴涵算子 伴随对 正则性 单调性 计算机技术 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]