A unified approximate reasoning theory suitable for both propositional calculus system $$\mathcal{L}^* $$ and predicate calculus system $$\mathcal{K}^* $$

@article{Wang2005AUA,
  title={A unified approximate reasoning theory suitable for both propositional calculus system \$\$\mathcal\{L\}^* \$\$ and predicate calculus system \$\$\mathcal\{K\}^* \$\$},
  author={Guojun Wang and Kwai-Sang Chin and C. Y. Dang},
  journal={Science in China Series F: Information Sciences},
  year={2005},
  volume={48},
  pages={1-14}
}
The concepts of metric R 0-algebra and Hilbert cube of type R 0 are introduced. A unified approximate reasoning theory in propositional caculus system $$\mathcal{L}^* $$ and predicate calculus system $$\mathcal{K}^* $$ is established semantically as well as syntactically, and a unified complete theorem is obtained.