Petr Hájek on Mathematical Fuzzy Logic

0432931 - ÚI 2015 RIV CH eng M - Monography Chapter
Běhounek, Libor - Haniková, Zuzana
Set Theory and Arithmetic in Fuzzy Logic.
Petr Hájek on Mathematical Fuzzy Logic. Cham: Springer, 2015 - (Montagna, F.), s. 63-89. Outstanding Contributions to Logic, 6. ISBN 978-3-319-06232-7
R&D Projects: GA ČR GPP103/10/P234; GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : fuzzy set theory * fuzzy logic * naive comprehension * non-classical arithmetic
Subject RIV: BA - General Mathematics

This chapter offers a review of Petr Hájek’s contributions to first-order axiomatic theories in fuzzy logic (in particular, ZF-style fuzzy set theories, arithmetic with a fuzzy truth predicate, and fuzzy set theory with unrestricted comprehension schema). Generalizations of Hájek’s results in these areas to MTL as the background logic are presented and discussed.
Permanent Link: http://hdl.handle.net/11104/0237238