Hájek, Petr.

• Metamathematics of fuzzy logic
• Uncertain information processing in expert systems
• Mechanizing hypothesis formation
• Metamathematics of first-order arithmetic
• Metoda GUHA