Proof System for Enriched Fuzzy BK Relational Calculi: Pt.1-Transforming Notations

Ha Hoang, Ladislav J. Kohout. Proof System for Enriched Fuzzy BK Relational Calculi: Pt.1-Transforming Notations. In FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings. pages 1-6, IEEE, 2007. [doi]

Authors

Ha Hoang

This author has not been identified. Look up 'Ha Hoang' in Google

Ladislav J. Kohout

This author has not been identified. Look up 'Ladislav J. Kohout' in Google