## Metric structures on some MTL-algebras and its applications

- Jialu Zhang
- 2010 Seventh International Conference on Fuzzy…
- 2010

@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.

### Presentations referencing similar topics