Author: Navara, Mirko

Bartušek, Tomáš; Navara, Mirko: Program for generating fuzzy logical operations and its use in mathematical proofs. (English). Kybernetika, vol. 38 (2002), issue 3, pp. [235]-244
Horčík, Rostislav; Navara, Mirko: Validation sets in fuzzy logics. (English). Kybernetika, vol. 38 (2002), issue 3, pp. [319]-326
Navara, Mirko; Pták, Pavel: Considering uncertainty and dependence in Boolean, quantum and fuzzy logics. (English). Kybernetika, vol. 34 (1998), issue 1, pp. [121]-134

Partner of