Petr Hájek: A Scientific Biography

DOI10.1007/978-3-319-06233-4_2zbMath1322.01046OpenAlexW96788195MaRDI QIDQ2948582

Zuzana Haniková

Publication date: 6 October 2015

Published in: Petr Hájek on Mathematical Fuzzy Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06233-4_2

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Biographies, obituaries, personalia, bibliographies (01A70) Reasoning under uncertainty in the context of artificial intelligence (68T37) Nonclassical and second-order set theories (03E70)

Cites Work

• The theory of semisets
• Mechanizing hypothesis formation. Mathematical foundations for a general theory
• Metamathematics of fuzzy logic
• Fuzzy logic and fuzzy set theory
• Knowledge representation and reasoning under uncertainty. Logic at work
• Algebraic foundations of many-valued reasoning
• The logic of inexact concepts
• Arithmetization of metamathematics in a general setting
• Modal analysis of generalized rosser sentences
• The problem of the so-called absolutely undecidable sentences of number theory
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• Fuzzy sets
• Petr Vopěnka (*16. 5. 1935)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item