Propositional Vector Logic system and Its Adequacy theorem

摘要

With the paradigm of holistic thinking and multiple per- spectives, an overall new understanding of logic is ob- tained for reasoning in collectie 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 either 1 or 0.