The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as w...The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.展开更多
基金supported by the National Natural Science Foundation of China(Grant No.19331010).
文摘The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.
基金The National Natural Science Foundation of China under Grant No.61070024The Natural Science Foundation of Liaoning Province of China under Grant No.20071004the Foundation of Education Department of Liaoning Province of China under Grant No.2008600,2008596~~
