| 泛逻辑学的蕴涵性质 |
| |
| 引用本文： | 薛占熬,何华灿.泛逻辑学的蕴涵性质[J].计算机科学,2005,32(5):137-139. |
| |
| 作者姓名： | 薛占熬 何华灿 |
| |
| 作者单位： | 西北工业大学计算机学院,西安,710072;西北工业大学计算机学院,西安,710072 |
| |
| 基金项目： | 国家自然科学基金(No.60273087)，北京自然科学基金(No.4032009) |
| |
| 摘 要： | 蕴涵算子是逻辑学研究中的重点和难点。本文首先给出泛逻辑中的一级命题连接词完整簇的非、交、并和蕴涵运算模型,证明了泛蕴涵的正则性、单调性以及它和泛“交”的伴随性,这对于进一步研究泛逻辑的形式系统和代数结构以及完备性,都具有重要的理论价值。
|
| 关 键 词： | 泛逻辑 广义相关性 蕴涵算子 伴随对 |
The Properties of the Implication in Universal Logics |
| |
| XUE Zhan-ao,HE Hua-Can.The Properties of the Implication in Universal Logics[J].Computer Science,2005,32(5):137-139. |
| |
| Authors: | XUE Zhan-ao HE Hua-Can |
| |
| Affiliation: | XUE Zhan-Ao,HE Hua-Can School of Computer Science,Northwestern Polytechnical University,Xi'an 710072 |
| |
| Abstract: | 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. |
| |
| Keywords: | Universal logic Generalized correlation Implication operator Adjoint pair |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
