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
60812013
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
12002017
Mechanizing hypothesis formation: Mathematical foundations for a general theory
P Hájek, T Havránek
Springer Science & Business Media, 2012
4582012
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
4082005
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
3112000
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
3072011
Basic fuzzy logic and BL-algebras
P Hájek
Soft computing 2 (3), 124-128, 1998
3011998
Uncertain information processing in expert systems
P Hájek, T Havranek, R Jirousek
CRC Press, 1992
2761992
A complete many-valued logic with product-conjunction
P Hájek, L Godo, F Esteva
Archive for mathematical logic 35 (3), 191-208, 1996
2701996
Making fuzzy description logic more general
P Hájek
Fuzzy Sets and Systems 154 (1), 1-15, 2005
2522005
The GUHA method of automatic hypotheses determination
P Hájek, I Havel, M Chytil
Computing 1 (4), 293-308, 1966
2341966
On very true
P Hájek
Fuzzy sets and systems 124 (3), 329-333, 2001
2162001
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
1782006
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
1632003
Fuzzy logic
P Hajek
1492008
Combining functions for certainty degrees in consulting systems
P Hájek
International Journal of Man-Machine Studies 22 (1), 59-76, 1985
1471985
The theory of semisets
P Vopěnka, P Hájek
North-Holland Publishing Company, 1972
1381972
The system can't perform the operation now. Try again later.
Articles 1–20