Follow
Petr Hájek
Petr Hájek
Petr Hajek´s Memorial Page. Institute of Computer Science, Czech Academy of Sciences
Verified email at cs.cas.cz - Homepage
Title
Cited by
Cited by
Year
Metamathematics of fuzzy logic
P Hájek
Springer Science & Business Media, 2013
59632013
On the metamathematics of fuzzy logic
P Hájek
Discovering the world with fuzzy logic, 155-174, 2000
5953*2000
Metamathematics of first-order arithmetic
P Hájek, P Pudlák
Cambridge University Press, 2017
11512017
Mechanizing hypothesis formation: Mathematical foundations for a general theory
P Hájek, T Havránek
Springer Science & Business Media, 2012
4552012
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
4052005
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
3042000
Basic fuzzy logic and BL-algebras
P Hájek
Soft computing 2 (3), 124-128, 1998
3011998
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
2902011
Uncertain information processing in expert systems
P Hájek, T Havranek, R Jirousek
CRC Press, 1992
2751992
A complete many-valued logic with product-conjunction
P Hájek, L Godo, F Esteva
Archive for mathematical logic 35 (3), 191-208, 1996
2671996
Making fuzzy description logic more general
P Hájek
Fuzzy Sets and Systems 154 (1), 1-15, 2005
2462005
The GUHA method of automatic hypotheses determination
P Hájek, I Havel, M Chytil
Computing 1 (4), 293-308, 1966
2251966
On very true
P Hájek
Fuzzy sets and systems 124 (3), 329-333, 2001
2102001
Knowledge-driven versus data-driven logics
D Dubois, P Hájek, H Prade
Journal of logic, Language and information 9 (1), 65-89, 2000
1862000
On theories and models in fuzzy predicate logics
P Hájek, P Cintula
The Journal of Symbolic Logic 71 (3), 863-880, 2006
1712006
Observations on non-commutative fuzzy logic
P Hájek
Soft computing 8 (1), 38-43, 2003
1672003
Hoops and fuzzy logic
F Esteva, L Godo, P Hájek, F Montagna
Journal of Logic and Computation 13 (4), 532-555, 2003
1572003
Fuzzy logic
P Hajek
1442008
Why fuzzy logic?
P Hajek
A companion to philosophical logic, 595-605, 2006
1442006
Fuzzy logic
P HAJEK, L GODO, S Gottwald
Fuzzy sets and systems 124 (3), 2001
144*2001
The system can't perform the operation now. Try again later.
Articles 1–20