Metamathematics of fuzzy logic P Hájek Springer Science & Business Media, 2013 | 6081 | 2013 |
On the metamathematics of fuzzy logic P Hájek Discovering the world with fuzzy logic, 155-174, 2000 | 6071* | 2000 |
Metamathematics of first-order arithmetic P Hájek, P Pudlák Cambridge University Press, 2017 | 1200 | 2017 |
Mechanizing hypothesis formation: Mathematical foundations for a general theory P Hájek, T Havránek Springer Science & Business Media, 2012 | 458 | 2012 |
Terminological difficulties in fuzzy set theory—The case of “Intuitionistic Fuzzy Sets” D Dubois, S Gottwald, P Hajek, J Kacprzyk, H Prade Infinite Study, 2005 | 408 | 2005 |
Residuated fuzzy logics with an involutive negation F Esteva, L Godo, P Hájek, M Navara Archive for mathematical logic 39 (2), 103-124, 2000 | 311 | 2000 |
Handbook of mathematical fuzzy logic (in 2 volumes) P Cintula, P Hájek, C Noguera Studies in logic, mathematical logic and foundations, vols 37, 2011 | 307 | 2011 |
Basic fuzzy logic and BL-algebras P Hájek Soft computing 2 (3), 124-128, 1998 | 301 | 1998 |
Uncertain information processing in expert systems P Hájek, T Havranek, R Jirousek CRC Press, 1992 | 276 | 1992 |
A complete many-valued logic with product-conjunction P Hájek, L Godo, F Esteva Archive for mathematical logic 35 (3), 191-208, 1996 | 270 | 1996 |
Making fuzzy description logic more general P Hájek Fuzzy Sets and Systems 154 (1), 1-15, 2005 | 252 | 2005 |
The GUHA method of automatic hypotheses determination P Hájek, I Havel, M Chytil Computing 1 (4), 293-308, 1966 | 234 | 1966 |
On very true P Hájek Fuzzy sets and systems 124 (3), 329-333, 2001 | 216 | 2001 |
Knowledge-driven versus data-driven logics D Dubois, P Hájek, H Prade Journal of logic, Language and information 9 (1), 65-89, 2000 | 186 | 2000 |
On theories and models in fuzzy predicate logics P Hájek, P Cintula The Journal of Symbolic Logic 71 (3), 863-880, 2006 | 178 | 2006 |
Observations on non-commutative fuzzy logic P Hájek Soft computing 8 (1), 38-43, 2003 | 167 | 2003 |
Hoops and fuzzy logic F Esteva, L Godo, P Hájek, F Montagna Journal of Logic and Computation 13 (4), 532-555, 2003 | 163 | 2003 |
Fuzzy logic P Hajek | 149 | 2008 |
Combining functions for certainty degrees in consulting systems P Hájek International Journal of Man-Machine Studies 22 (1), 59-76, 1985 | 147 | 1985 |
The theory of semisets P Vopěnka, P Hájek North-Holland Publishing Company, 1972 | 138 | 1972 |