# 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}
}
• Published 2005 in Science in China Series F: Information Sciences
• DOI:10.1360/04yf0094
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.