Mirko Navara
- Considering Uncertainty and Dependence in Boolean, Quantum and Fuzzy Logics. KYBERNETIKA 34 (1998) n.1, 121-134.
- Program for Generating Fuzzy Logical Operations and Its Use in Mathematical Proofs. KYBERNETIKA 38 (2002) n.3, 235-244.
- Validation Sets in Fuzzy Logics. KYBERNETIKA 38 (2002) n.3, 319-326.