Propositional Vector Logic System and Its Adequacy Thcorem  

Propositional Vector Logic System and Its Adequacy Theorem

作　　者：王新民 汤兵勇 许立达 

出　　处：《Journal of China Textile University(English Edition)》1999年第4期45-48,共4页

摘　　要：With the paradigm of holistic thinking and multiple per-spectives,an overall new understanding of logic is ob-tained for reasoning in collective intelligent systems(CIS).Based on the hypothesis of multiple resolutions ofreasoning in CIS,the logical state of a proposition isgeneralized into an n-dimensional vector whose elementis either 1 or 0.In contrast with classical logic with bina-ry truth-values,a propositional vector logic system isconstructed by introducing new connectives,new axi-oms,and new rules.Adequate sets of connectives areprovided.The soundness theorem and the adequacy the-orem for the vector logic system are shown.With the paradigm of holistic thinking and multiple perspectives, an overall new understanding of logic is obtained for reasoning in collective intelligent systems (CIS). Based on the hypothesis of multiple resolutions of reasoning in CIS, the logical state of a proposition is generalized into an n - dimensional vector whose element Is cither 1 or 0. In contrast with classical logic with binary truth - values, a prepositional vector logic system is constructed by introducing new connectives, new axioms, and new rules. Adequate sets of connectives are provided. The soundness theorem and the adequacy theorem for the vector logic system arc shown.

关 键 词：VECTOR LOGIC SOUNDNESS ADEQUACY 

分 类 号：O142[理学—数学]