|
|||||
|
|
| 向量值一阶逻辑及其可靠性定理 | |
| 引用本文： | 王新民,汤兵勇,许立达.向量值一阶逻辑及其可靠性定理[J].东华大学学报(自然科学版),2000,26(2). |
| 作者姓名： | 王新民 汤兵勇 许立达 |
| 作者单位： | 1. 中国纺织大学基础科学部,上海,200051 2. 中国纺织大学旭日工商管理学院,上海,200051 3. Department of Management Sciences and Information Systems,Wright State University,Dayton,OH 45435,USA |
| 摘 要： | 讨论了向量值一阶逻辑形式系统。通过对于在智能系统多认知环境下事物逻辑性质的分析,把逻辑真值推广到一个n维向量。在对于向量值命题逻辑形式语言建立可靠性定理与完备性定理的讨论基础上,这里进一步建立了向量值一阶逻辑形式系统,证明了它的可靠性定理。 |
| 关 键 词： | 向量值逻辑 一阶系统 逻辑有效 可靠性 |
First Order System of Vector Logic and Its Soundness Theorem |
|
| Wang Xinmin,Tang Bingyong,Xu Lida.First Order System of Vector Logic and Its Soundness Theorem[J].Journal of Donghua University,2000,26(2). | |
| Authors: | Wang Xinmin Tang Bingyong Xu Lida |
| Abstract: | A first order system of vector logic is studied. In light of the situations of multiple cognition, multiple believes , multiple values, and multiple agents, the logical state of a logical proposition is expressed by a n - dimensional vector. A first order system of vector logic is given. The soundness theorem for the first order system of vector logic is discussed . |
| Keywords: | vector logic first order system logical valid soundness |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |