## Hájek, Petr

Compute Distance To:
 Author ID: hajek.petr Published as: Hájek, Petr; Hajek, Petr; Hajek, P.; Hájek, P.; Hajek, Peter more...less External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr
 Documents Indexed: 188 Publications since 1963, including 6 Books 13 Contributions as Editor Biographic References: 9 Publications Co-Authors: 63 Co-Authors with 89 Joint Publications 1,436 Co-Co-Authors
all top 5

### Co-Authors

 109 single-authored 9 Cintula, Petr 9 Godo, Lluís 7 Gottwald, Siegfried 7 Montagna, Franco 7 Vopenka, Petr 6 Pudlák, Pavel 4 Esteva, Francesc 4 Havranek, Tomas 4 Paris, Jeffrey Bruce 3 Chytil, Metodej K. 3 Hájková, Marie 3 Harmancová, Dagmar 3 Havel, Ivan M. 3 Holeňa, Martin 3 Noguera, Carles 3 Rauch, Jan 3 Shepherdson, John C. 2 Baaz, Matthias 2 Bendova, Kamila 2 Dubois, Didier 2 Fermüller, Christian G. 2 Haniková, Zuzana 2 Kůrka, Petr 2 Novák, Vilém 2 Prade, Henri M. 2 Švejda, David 2 Valdés, Julio J. 1 Badia, Guillermo 1 Balcar, Bohuslav 1 Běhounek, Libor 1 Bukovský, Lev 1 Buss, Samuel R. 1 Clote, Peter G. 1 Coufal, David 1 Daniel, Milan 1 Feglar, Tomáš 1 Font, Josep Maria 1 Harmanec, David 1 Höhle, Ulrich 1 Horčík, Rostislav 1 Kacprzyk, Janusz 1 Kalasek, Pavel 1 Klement, Erich Peter 1 Kohout, Ladislav J. 1 Krajíček, Jan 1 Kučera, Antonín 1 Marek, V. Wiktor 1 Medina, Rubén 1 Mesiar, Radko 1 Navara, Mirko 1 Ojeda-Aciego, Manuel 1 Olej, Vladimír 1 Prochazka, Ondrej 1 Quilis, Andrés 1 Renc, Zdeněk 1 Sochor, Antonin 1 Sochorová, A. 1 Švejdar, Vítězslav 1 Tedder, Andrew 1 Tulipani, Sauro 1 Valdés-Villanueva, Luis 1 Veith, Helmut 1 Verbrugge, Rineke 1 Westerståhl, Dag 1 Wiedermann, Jiří 1 Zvarova, Jana
all top 5

### Serials

 15 Fuzzy Sets and Systems 10 Studia Logica 8 Commentationes Mathematicae Universitatis Carolinae 7 Kybernetika 7 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 6 The Journal of Symbolic Logic 6 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 6 Archive for Mathematical Logic 5 Annals of Pure and Applied Logic 5 Journal of Logic and Computation 5 Logic Journal of the IGPL 5 Soft Computing 4 International Journal of General Systems 4 International Journal of Man-Machine Studies 4 Mathematical Logic Quarterly (MLQ) 3 Časopis Pro Pěstování Matematiky 3 Theoretical Computer Science 3 Tatra Mountains Mathematical Publications 3 Fundamenta Informaticae 3 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 3 Lecture Notes in Logic 3 Studies in Logic (London) 2 Archiv für Mathematische Logik und Grundlagenforschung 2 Fundamenta Mathematicae 2 Journal of Functional Analysis 2 Computers and Artificial Intelligence 2 The Review of Symbolic Logic 2 Perspectives in Mathematical Logic 1 Artificial Intelligence 1 Journal of Mathematical Analysis and Applications 1 Computing 1 Journal of Computer and System Sciences 1 Annales Societatis Mathematicae Polonae. Series IV 1 Computational Statistics Quarterly 1 International Journal of Approximate Reasoning 1 Elektronische Informationsverarbeitung und Kybernetik 1 Pokroky Matematiky, Fyziky & Astronomie 1 Computational Statistics and Data Analysis 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Filomat 1 Matemática Contemporânea 1 Journal of Multiple-Valued Logic and Soft Computing 1 Matematicko-Fyzikálny Časopis, Slovenskej Akadémie Vied 1 Lecture Notes in Computer Science 1 Studies in Logic and the Foundations of Mathematics 1 Trends in Logic – Studia Logica Library 1 Universitext 1 Perspectives in Logic
all top 5

### Fields

 161 Mathematical logic and foundations (03-XX) 59 Computer science (68-XX) 13 General and overarching topics; collections (00-XX) 9 Statistics (62-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 3 Functional analysis (46-XX) 3 Probability theory and stochastic processes (60-XX) 2 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 General topology (54-XX) 1 Information and communication theory, circuits (94-XX)

### Citations contained in zbMATH Open

131 Publications have been cited 2,545 times in 1,779 Documents Cited by Year
Metamathematics of fuzzy logic. Zbl 0937.03030
Hájek, Petr
1998
Metamathematics of first-order arithmetic. Zbl 0781.03047
Hájek, Petr; Pudlák, Pavel
1993
Terminological difficulties in fuzzy set theory – the case of “intuitionistic fuzzy sets”. Zbl 1098.03061
Dubois, Didier; Gottwald, Siegfried; Hajek, Petr; Kacprzyk, Janusz; Prade, Henri
2005
Residuated fuzzy logics with an involutive negation. Zbl 0965.03035
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko
2000
Metamathematics of first-order arithmetic. 2nd printing. Zbl 0889.03053
Hájek, Petr; Pudlák, Pavel
1998
A complete many-valued logic with product-conjunction. Zbl 0848.03005
Hájek, Petr; Godo, Lluis; Esteva, Francesc
1996
On very true. Zbl 0997.03028
Hájek, Petr
2001
Hoops and fuzzy logic. Zbl 1039.03016
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco
2003
Making fuzzy description logic more general. Zbl 1094.03014
Hájek, Petr
2005
Observations on non-commutative fuzzy logic. Zbl 1075.03009
Hájek, P.
2003
On copulas, quasicopulas and fuzzy logic. Zbl 1152.03018
2008
On theories and models in fuzzy predicate logics. Zbl 1111.03030
Hájek, Petr; Cintula, Petr
2006
Triangular norm based predicate fuzzy logics. Zbl 1200.03020
Cintula, Petr; Hájek, Petr
2010
Observations on the monoidal t-norm logic. Zbl 1012.03035
Hájek, Petr
2002
Fuzzy logics with noncommutative conjunctions. Zbl 1036.03018
Hájek, Petr
2003
Knowledge-driven versus data-driven logics. Zbl 0942.03023
Dubois, Didier; Hájek, Petr; Prade, Henri
2000
Mechanizing hypothesis formation. Mathematical foundations for a general theory. Zbl 0371.02002
Hajek, P.; Havranek, T.
1978
The GUHA method of automatic hypotheses determination. Zbl 0168.26105
Hajek, P.; Havel, I.; Chytil, M.
1966
Triangular norm-based mathematical fuzzy logics. Zbl 1078.03020
Gottwald, Siegfried; Hájek, Petr
2005
The Liar paradox and fuzzy logic. Zbl 0945.03031
Hájek, Petr; Paris, Jeff; Shepherdson, John
2000
On fuzzy modal logics $$S5(\mathcal C)$$. Zbl 1210.03020
Hájek, Petr
2010
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025
Hájek, Petr; Paris, Jeff; Shepherdson, John
2000
On witnessed models in fuzzy logic. Zbl 1110.03013
Hájek, Petr
2007
Formal systems of fuzzy logic and their fragments. Zbl 1140.03010
Cintula, Petr; Hájek, Petr; Horčík, Rostislav
2007
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
2002
On Łukasiewicz’s four-valued modal logic. Zbl 0998.03022
Font, Josep Maria; Hájek, Petr
2002
Arithmetical complexity of fuzzy predicate logics – a survey. Zbl 1093.03012
Hájek, P.
2005
A fuzzy modal logic for belief functions. Zbl 1044.03009
Godo, Lluís; Hájek, Petr; Esteva, Francesc
2003
The sorites paradox and fuzzy logic. Zbl 1044.03017
Hájek, Petr; Novák, Vilém
2003
On the metamathematics of fuzzy logic. Zbl 1007.03022
Hájek, Petr
2000
What is mathematical fuzzy logic. Zbl 1108.03028
Hájek, Petr
2006
The logic of $$\Pi_ 1$$-conservativity. Zbl 0713.03007
Hájek, Petr; Montagna, Franco
1990
Handbook of mathematical fuzzy logic. Volume 1. Zbl 1283.03001
2011
Introduction to mathematical fuzzy logic. Zbl 1284.03175
Běhounek, Libor; Cintula, Petr; Hájek, Petr
2011
Fuzzy logic and arithmetical hierarchy. Zbl 0857.03011
Hájek, Petr
1995
Combining functions for certainty degrees in consulting systems. Zbl 0567.68055
Hájek, Petr
1985
Interpretability and fragments of arithmetic. Zbl 0791.03033
Hájek, Petr
1993
Handbook of mathematical fuzzy logic. Volume 2. Zbl 1283.03002
2011
Fuzzy logic and arithmetical hierarchy. III. Zbl 0988.03042
Hájek, Petr
2001
The GUHA method and the three-valued logic. Zbl 0232.68034
Hájek, Petr; Bendová, Kamila; Renc, Zdeněk
1971
On arithmetic in the Cantor-Łukasiewicz fuzzy set theory. Zbl 1096.03064
Hájek, Petr
2005
A non-arithmetical Gödel logic. Zbl 1086.03018
Hájek, Petr
2005
The theory of semisets. Zbl 0332.02064
Vopenka, Petr; Hajek, Petr
1972
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Zbl 1104.03015
Hájek, Petr
2006
A development of set theory in fuzzy logic. Zbl 1040.03041
Hájek, Petr; Haniková, Zuzana
2003
A hedge for Gödel fuzzy logic. Zbl 1113.03318
Hájek, Petr; Harmancová, Dagmar
2000
Arithmetical hierarchy and complexity of computation. Zbl 0402.03038
Hajek, Petr
1979
A qualitative fuzzy possibilistic logic. Zbl 0819.03017
Hájek, Petr; Harmancová, Dagmar; Verbrugge, Rineke
1995
Magari and others on Gödel’s ontological proof. Zbl 0859.03010
Hájek, Petr
1996
A new small emendation of Gödel’s ontological proof. Zbl 1016.03020
Hájek, Petr
2002
Complexity of fuzzy probability logics. II. Zbl 1124.03008
Hájek, Petr
2007
A note on the first-order logic of complete BL-chains. Zbl 1152.03019
Hájek, Petr; Montagna, Franco
2008
On interpretability in set theories. Zbl 0231.02087
Hájek, Petr
1971
The logic of $$\Pi_ 1$$-conservativity continued. Zbl 0790.03018
Hájek, Petr; Montagna, Franco
1992
Fuzzy implications and generalized quantifiers. Zbl 1232.03017
1996
On vagueness, truth values and fuzzy logics. Zbl 1173.03023
Hájek, Petr
2009
Some conservativeness results for nonstandard dynamic logic. Zbl 0617.03012
Hajek, P.
1986
On generation of inductive hypotheses. Zbl 0372.68026
Hajek, Petr; Havranek, Tomas
1977
The GUHA method and its meaning for data mining. Zbl 1186.68160
Hájek, Petr; Holeňa, Martin; Rauch, Jan
2010
On witnessed models in fuzzy logic. II. Zbl 1126.03031
Hájek, Petr
2007
Fuzzy inference as deduction. Zbl 1033.03018
Godo, Lluís; Hájek, Petr
1999
Complexity of fuzzy probability logics. Zbl 0972.03025
Hájek, Petr; Tulipani, Sauro
2001
Experimental logics and $$\Pi^0_3$$ theories. Zbl 0428.03043
Hajek, Petr
1978
Fuzzy logic and arithmetical hierarchy. II. Zbl 0869.03015
Hájek, Petr
1997
Fleas and fuzzy logic. Zbl 1078.03021
Hájek, Petr
2005
Combinatorial principles concerning approximations of functions. Zbl 0645.03057
Hájek, Petr; Paris, Jeff
1987
A note on the normal form of closed formulas of interpretability logic. Zbl 0728.03015
Hájek, Petr; Švejdar, Vítězslav
1991
On sequences of degrees of constructibility (solution of Friedman’s Problem 75). Zbl 0414.03032
Balcar, Bohuslav; Hajek, Petr
1978
Ten questions and one problem on fuzzy logic. Zbl 0930.03024
Hájek, Petr
1999
The problem of a general conception of the GUHA method. Zbl 0169.31802
Hajek, P.
1968
Modelle der Mengenlehre in denen Mengen gegebener Gestalt existieren. Zbl 0171.26402
Hajek, P.
1965
Embedding logics into product logic. Zbl 0962.03019
Baaz, Matthias; Hájek, Petr; Krajíček, Jan; Švejda, David
1998
Automatic listing of important observational statements. III. Zbl 0289.68047
Hajek, Petr
1974
Monadic fuzzy predicate logics. Zbl 1006.03023
Hájek, Petr
2002
On some formalized conservation results in arithmetic. Zbl 0689.03027
Clote, P.; Hájek, P.; Paris, J.
1990
Über die Gültigkeit des Fundierungsaxioms in speziellen Systemen der Mengentheorie. Zbl 0118.25601
Vopěnka, Petr; Hájek, Petr
1963
A simple dynamic logic. Zbl 0612.03014
Hájek, Petr
1986
Complexity issues in axiomatic extensions of Łukasiewicz logic. Zbl 1165.03009
Cintula, Petr; Hájek, Petr
2009
Mathematical fuzzy logic and natural numbers. Zbl 1139.03016
Hájek, Petr
2007
Basic fuzzy logic and BL-algebras. II. Zbl 1018.03021
Hájek, P.
2003
On interpretability in set theories. II. Zbl 0251.02064
Hajek, Petr
1972
On interpretability in theories containing arithmetic. Zbl 0262.02049
Hajkova, Marie; Hajek, Petr
1972
GUHA for personal computers. Zbl 0875.62013
Hájek, P.; Sochorová, A.; Zvárová, J.
1995
On interpretability in theories containing arithmetic. II. Zbl 0487.03032
Hajek, Petr
1981
On recursion theory in $$I\Sigma_ 1$$. Zbl 0703.03019
Hájek, Petr; Kučera, Antonín
1989
Towards a probabilistic analysis of MYCIN-like expert systems. Zbl 0729.68507
Hajek, P.
1988
Fuzzy logic and arithmetical hierarchy. IV. Zbl 1084.03020
Hájek, Petr
2004
GUHA - the method of systematical hypotheses searching. Zbl 0316.68049
Hajek, Petr; Havel, Ivan; Chytil, Metodej
1966
Formal logics of discovery and hypothesis formation by machine. Zbl 1018.03025
Hájek, Petr; Holeňa, Martin
2003
Arithmetical complexity of fuzzy predicate logics – a survey. II. Zbl 1182.03050
Hájek, Petr
2009
Fuzzy logic as logic. Zbl 0859.68095
Hájek, Petr
1995
A generalized algebraic approach to uncertainty processing in rule-based expert systems (dempsteroids). Zbl 0712.68092
Hájek, Petr; Valdes, Julio J.
1991
Embedding standard BL-algebras into non-commutative pseudo-BL-algebras. Zbl 1068.06012
Hájek, Petr
2003
On equality and natural numbers in Cantor-Łukasiewicz set theory. Zbl 1283.03086
Hájek, Petr
2013
On arithmetical complexity of fragments of prominent fuzzy predicate logics. Zbl 1142.03014
Hájek, Petr
2008
Sets, semisets, models. Zbl 0233.02025
Hájek, Petr
1971
A note on the notion of truth in fuzzy logic. Zbl 1004.03020
Hájek, Petr; Shepherdson, John
2001
Deductive systems of fuzzy logic. Zbl 0915.03023
Hájek, Petr; Godo, Lluis
1997
Arithmetical interpretations of dynamic logic. Zbl 0546.03012
Hájek, Petr
1983
Combining functions in consulting systems and dependence of premisses (a remark). Zbl 0559.68069
Hájek, Petr
1984
Metamathematics of first-order arithmetic. Reprint of the 1993 original published by Springer. Zbl 1365.03008
Hájek, Petr; Pudlák, Pavel
2016
On equality and natural numbers in Cantor-Łukasiewicz set theory. Zbl 1283.03086
Hájek, Petr
2013
Some remarks on Cantor-Łukasiewicz fuzzy set theory. Zbl 1283.03087
Hájek, Petr
2013
Handbook of mathematical fuzzy logic. Volume 1. Zbl 1283.03001
2011
Introduction to mathematical fuzzy logic. Zbl 1284.03175
Běhounek, Libor; Cintula, Petr; Hájek, Petr
2011
Handbook of mathematical fuzzy logic. Volume 2. Zbl 1283.03002
2011
Towards metamathematics of weak arithmetics over fuzzy logic. Zbl 1243.03032
Hájek, Petr
2011
A conversation about fuzzy logic and vagueness. Zbl 1275.03102
Fermüller, Christian G.; Hájek, Petr
2011
Arithmetical complexity of first-order fuzzy logics. Zbl 1284.03180
Hájek, Petr; Montagna, Franco; Noguera, Carles
2011
Triangular norm based predicate fuzzy logics. Zbl 1200.03020
Cintula, Petr; Hájek, Petr
2010
On fuzzy modal logics $$S5(\mathcal C)$$. Zbl 1210.03020
Hájek, Petr
2010
The GUHA method and its meaning for data mining. Zbl 1186.68160
Hájek, Petr; Holeňa, Martin; Rauch, Jan
2010
On witnessed models in fuzzy logic. III: Witnessed Gödel logics. Zbl 1191.03019
Hájek, Petr
2010
On vagueness, truth values and fuzzy logics. Zbl 1173.03023
Hájek, Petr
2009
Complexity issues in axiomatic extensions of Łukasiewicz logic. Zbl 1165.03009
Cintula, Petr; Hájek, Petr
2009
Arithmetical complexity of fuzzy predicate logics – a survey. II. Zbl 1182.03050
Hájek, Petr
2009
Municipal creditworthiness modelling by kernel-based approaches with supervised and semi-supervised learning. Zbl 1187.68392
2009
On copulas, quasicopulas and fuzzy logic. Zbl 1152.03018
2008
A note on the first-order logic of complete BL-chains. Zbl 1152.03019
Hájek, Petr; Montagna, Franco
2008
On arithmetical complexity of fragments of prominent fuzzy predicate logics. Zbl 1142.03014
Hájek, Petr
2008
On witnessed models in fuzzy logic. Zbl 1110.03013
Hájek, Petr
2007
Formal systems of fuzzy logic and their fragments. Zbl 1140.03010
Cintula, Petr; Hájek, Petr; Horčík, Rostislav
2007
Complexity of fuzzy probability logics. II. Zbl 1124.03008
Hájek, Petr
2007
On witnessed models in fuzzy logic. II. Zbl 1126.03031
Hájek, Petr
2007
Mathematical fuzzy logic and natural numbers. Zbl 1139.03016
Hájek, Petr
2007
On theories and models in fuzzy predicate logics. Zbl 1111.03030
Hájek, Petr; Cintula, Petr
2006
What is mathematical fuzzy logic. Zbl 1108.03028
Hájek, Petr
2006
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Zbl 1104.03015
Hájek, Petr
2006
Mathematical fuzzy logic – what it can learn from Mostowski and Rasiowa. Zbl 1112.03017
Hájek, Petr
2006
Terminological difficulties in fuzzy set theory – the case of “intuitionistic fuzzy sets”. Zbl 1098.03061
Dubois, Didier; Gottwald, Siegfried; Hajek, Petr; Kacprzyk, Janusz; Prade, Henri
2005
Making fuzzy description logic more general. Zbl 1094.03014
Hájek, Petr
2005
Triangular norm-based mathematical fuzzy logics. Zbl 1078.03020
Gottwald, Siegfried; Hájek, Petr
2005
Arithmetical complexity of fuzzy predicate logics – a survey. Zbl 1093.03012
Hájek, P.
2005
On arithmetic in the Cantor-Łukasiewicz fuzzy set theory. Zbl 1096.03064
Hájek, Petr
2005
A non-arithmetical Gödel logic. Zbl 1086.03018
Hájek, Petr
2005
Fleas and fuzzy logic. Zbl 1078.03021
Hájek, Petr
2005
Fuzzy logic and arithmetical hierarchy. IV. Zbl 1084.03020
Hájek, Petr
2004
The GUHA method, data preprocessing and mining. Zbl 1099.68690
Hájek, Petr; Rauch, Jan; Coufal, David; Feglar, Tomáš
2004
Hoops and fuzzy logic. Zbl 1039.03016
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco
2003
Observations on non-commutative fuzzy logic. Zbl 1075.03009
Hájek, P.
2003
Fuzzy logics with noncommutative conjunctions. Zbl 1036.03018
Hájek, Petr
2003
A fuzzy modal logic for belief functions. Zbl 1044.03009
Godo, Lluís; Hájek, Petr; Esteva, Francesc
2003
The sorites paradox and fuzzy logic. Zbl 1044.03017
Hájek, Petr; Novák, Vilém
2003
A development of set theory in fuzzy logic. Zbl 1040.03041
Hájek, Petr; Haniková, Zuzana
2003
Basic fuzzy logic and BL-algebras. II. Zbl 1018.03021
Hájek, P.
2003
Formal logics of discovery and hypothesis formation by machine. Zbl 1018.03025
Hájek, Petr; Holeňa, Martin
2003
Embedding standard BL-algebras into non-commutative pseudo-BL-algebras. Zbl 1068.06012
Hájek, Petr
2003
On generalized quantifiers, finite sets and data mining. Zbl 1091.68532
Hájek, Petr
2003
Mathematical fuzzy logic – state of art 2001. Zbl 1078.03508
Hájek, Petr
2003
Observations on the monoidal t-norm logic. Zbl 1012.03035
Hájek, Petr
2002
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
2002
On Łukasiewicz’s four-valued modal logic. Zbl 0998.03022
Font, Josep Maria; Hájek, Petr
2002
A new small emendation of Gödel’s ontological proof. Zbl 1016.03020
Hájek, Petr
2002
Monadic fuzzy predicate logics. Zbl 1006.03023
Hájek, Petr
2002
Why fuzzy logic? Zbl 1068.03018
Hájek, Petr
2002
On very true. Zbl 0997.03028
Hájek, Petr
2001
Fuzzy logic and arithmetical hierarchy. III. Zbl 0988.03042
Hájek, Petr
2001
Complexity of fuzzy probability logics. Zbl 0972.03025
Hájek, Petr; Tulipani, Sauro
2001
A note on the notion of truth in fuzzy logic. Zbl 1004.03020
Hájek, Petr; Shepherdson, John
2001
Residuated fuzzy logics with an involutive negation. Zbl 0965.03035
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko
2000
Knowledge-driven versus data-driven logics. Zbl 0942.03023
Dubois, Didier; Hájek, Petr; Prade, Henri
2000
The Liar paradox and fuzzy logic. Zbl 0945.03031
Hájek, Petr; Paris, Jeff; Shepherdson, John
2000
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025
Hájek, Petr; Paris, Jeff; Shepherdson, John
2000
On the metamathematics of fuzzy logic. Zbl 1007.03022
Hájek, Petr
2000
A hedge for Gödel fuzzy logic. Zbl 1113.03318
Hájek, Petr; Harmancová, Dagmar
2000
Logic colloquium ’98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9–15, 1998. Zbl 0932.00038
2000
Fuzzy inference as deduction. Zbl 1033.03018
Godo, Lluís; Hájek, Petr
1999
Ten questions and one problem on fuzzy logic. Zbl 0930.03024
Hájek, Petr
1999
Metamathematics of fuzzy logic. Zbl 0937.03030
Hájek, Petr
1998
Metamathematics of first-order arithmetic. 2nd printing. Zbl 0889.03053
Hájek, Petr; Pudlák, Pavel
1998
Embedding logics into product logic. Zbl 0962.03019
Baaz, Matthias; Hájek, Petr; Krajíček, Jan; Švejda, David
1998
Fuzzy logic and arithmetical hierarchy. II. Zbl 0869.03015
Hájek, Petr
1997
Deductive systems of fuzzy logic. Zbl 0915.03023
Hájek, Petr; Godo, Lluis
1997
A complete many-valued logic with product-conjunction. Zbl 0848.03005
Hájek, Petr; Godo, Lluis; Esteva, Francesc
1996
Magari and others on Gödel’s ontological proof. Zbl 0859.03010
Hájek, Petr
1996
Fuzzy implications and generalized quantifiers. Zbl 1232.03017
1996
Getting belief functions from Kripke models. Zbl 0845.03003
Hájek, Petr
1996
Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Zbl 0844.00017
1996
Fuzzy logic and arithmetical hierarchy. Zbl 0857.03011
Hájek, Petr
1995
A qualitative fuzzy possibilistic logic. Zbl 0819.03017
Hájek, Petr; Harmancová, Dagmar; Verbrugge, Rineke
1995
GUHA for personal computers. Zbl 0875.62013
Hájek, P.; Sochorová, A.; Zvárová, J.
1995
Fuzzy logic as logic. Zbl 0859.68095
Hájek, Petr
1995
On logics of approximate reasoning. II. Zbl 0865.68113
Hájek, P.
1995
A qualitative belief logic. Zbl 1232.68112
Harmanec, David; Hájek, Petr
1994
Systems of conditional beliefs in Dempster-Shafer theory and expert systems. Zbl 0797.60004
Hájek, Petr
1994
Metamathematics of first-order arithmetic. Zbl 0781.03047
Hájek, Petr; Pudlák, Pavel
1993
Interpretability and fragments of arithmetic. Zbl 0791.03033
Hájek, Petr
1993
Abbreviating proofs using metamathematical rules. Zbl 0794.03080
Hájek, Petr; Montagna, Franco; Pudlák, Pavel
1993
The logic of $$\Pi_ 1$$-conservativity continued. Zbl 0790.03018
Hájek, Petr; Montagna, Franco
1992
A note on the normal form of closed formulas of interpretability logic. Zbl 0728.03015
Hájek, Petr; Švejdar, Vítězslav
1991
A generalized algebraic approach to uncertainty processing in rule-based expert systems (dempsteroids). Zbl 0712.68092
Hájek, Petr; Valdes, Julio J.
1991
The logic of $$\Pi_ 1$$-conservativity. Zbl 0713.03007
Hájek, Petr; Montagna, Franco
1990
On some formalized conservation results in arithmetic. Zbl 0689.03027
Clote, P.; Hájek, P.; Paris, J.
1990
The expert system shell EQUANT-PC: Philosophy, structure and implementation. Zbl 0715.68079
Hájek, P.; Hájková, M.
1990
On recursion theory in $$I\Sigma_ 1$$. Zbl 0703.03019
Hájek, Petr; Kučera, Antonín
1989
Towards a probabilistic analysis of MYCIN-like expert systems. Zbl 0729.68507
Hajek, P.
1988
Combinatorial principles concerning approximations of functions. Zbl 0645.03057
Hájek, Petr; Paris, Jeff
1987
Partial conservativity revisited. Zbl 0679.03025
Hájek, Petr
1987
Some conservativeness results for nonstandard dynamic logic. Zbl 0617.03012
Hajek, P.
1986
A simple dynamic logic. Zbl 0612.03014
Hájek, Petr
1986
...and 31 more Documents
all top 5

### Cited by 1,418 Authors

 49 Hájek, Petr 42 Bělohlávek, Radim 41 Montagna, Franco 37 Novák, Vilém 34 Vychodil, Vilém 33 Godo, Lluís 31 Mesiar, Radko 29 Cintula, Petr 27 Dubois, Didier 27 Esteva, Francesc 22 Noguera, Carles 20 Flaminio, Tommaso 19 Vetterlein, Thomas 18 Dvurečenskij, Anatolij 18 Prade, Henri M. 18 Visser, Albert 18 Zhang, Dexue 16 Aguzzoli, Stefano 16 Rachůnek, Jiří 15 Bianchi, Matteo 15 Wang, Guojun 15 Xu, Yang 14 Běhounek, Libor 14 Borumand Saeid, Arsham 14 Borzooei, Rajab Ali 14 Medina, Jesús 14 Metcalfe, George 14 Straccia, Umberto 14 Xin, Xiaolong 13 De Baets, Bernard 13 Zhan, Jianming 12 Bobillo, Fernando 12 Gerla, Giangiacomo 12 Gottwald, Siegfried 12 Klement, Erich Peter 12 Kołodziejczyk, Leszek Aleksander 12 Navara, Mirko 12 Turunen, Esko 11 Daňková, Martina 11 Jun, Young Bae 11 Konecny, Jan 11 Lai, Hongliang 11 Li, Yongming 11 Marchioni, Enrico 11 Perfilieva, Irina G. 10 Di Nola, Antonio 10 He, Pengfei 10 Li, Qingguo 10 Pei, Daowu 10 Šalounová, Dana 9 Busaniche, Manuela 9 Ciabattoni, Agata 9 Ciucci, Davide 9 Dvořák, Antonín 9 Georgescu, George 9 Hu, Baoqing 9 Joosten, Joost J. 9 Kurahashi, Taishi 9 Mesiarová-Zemánková, Andrea 9 Štěpnička, Martin 9 Wang, Sanmin 9 Yokoyama, Keita 9 Zhou, Hongjun 8 Baaz, Matthias 8 Bedregal, Benjamín René Callejas 8 Beklemishev, Lev D. 8 Botur, Michal 8 Chajda, Ivan 8 Deschrijver, Glad 8 Freytes, Hector 8 Haniková, Zuzana 8 Jenei, Sándor 8 Marra, Vincenzo 8 Peñaloza, Rafael 8 Torkzadeh, Lida 8 Zhang, Xiaohong 7 Borgwardt, Stefan 7 Cordón-Franco, Andrés 7 Dellunde, Pilar 7 García-Cerdaña, Àngel 7 Gerla, Brunella 7 Ghorbani, Shokoofeh 7 Halaš, Radomír 7 Havranek, Tomas 7 Holeňa, Martin 7 Horčík, Rostislav 7 Kolesárová, Anna 7 Lara-Martín, Francisco Felix 7 Ledda, Antonio 7 Li, Lingqiang 7 Ma, Xueling 7 Ma, Zhenming 7 Morsi, Nehad Nashaat 7 Nicolai, Carlo 7 Pap, Endre 7 Rodríguez, Ricardo Oscar 7 Zhao, Bin 7 Zhou, Xiangnan 6 Bartl, Eduard 6 Bova, Simone ...and 1,318 more Authors
all top 5

### Cited in 177 Serials

 429 Fuzzy Sets and Systems 113 Soft Computing 110 Information Sciences 97 International Journal of Approximate Reasoning 81 Archive for Mathematical Logic 76 Annals of Pure and Applied Logic 65 The Journal of Symbolic Logic 55 Studia Logica 45 Mathematical Logic Quarterly (MLQ) 33 Theoretical Computer Science 32 The Review of Symbolic Logic 25 The Bulletin of Symbolic Logic 24 Kybernetika 20 International Journal of General Systems 17 Artificial Intelligence 17 Journal of Philosophical Logic 17 Journal of Intelligent and Fuzzy Systems 14 Computers & Mathematics with Applications 14 Notre Dame Journal of Formal Logic 13 Journal of Applied Logic 12 Journal of Applied Non-Classical Logics 12 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 11 Afrika Matematika 10 Annals of Mathematics and Artificial Intelligence 9 Mathematica Slovaca 8 Journal of Computer and System Sciences 8 International Journal of Intelligent Systems 8 Fuzzy Optimization and Decision Making 8 Iranian Journal of Fuzzy Systems 7 Order 7 Information and Computation 7 Logica Universalis 7 Open Mathematics 6 Czechoslovak Mathematical Journal 6 International Journal of Mathematics and Mathematical Sciences 6 Transactions of the American Mathematical Society 6 Logic and Logical Philosophy 5 Journal of Mathematical Analysis and Applications 5 Algebra Universalis 5 Journal of Algebra 5 Journal of Pure and Applied Algebra 5 Abstract and Applied Analysis 4 Archiv für Mathematische Logik und Grundlagenforschung 4 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 4 Advances in Mathematics 4 Synthese 4 MSCS. Mathematical Structures in Computer Science 4 Journal of Logic, Language and Information 4 Journal of Multiple-Valued Logic and Soft Computing 4 Journal of Algebraic Systems 3 Communications in Algebra 3 Commentationes Mathematicae Universitatis Carolinae 3 Demonstratio Mathematica 3 Fundamenta Mathematicae 3 Proceedings of the American Mathematical Society 3 Journal of Automated Reasoning 3 European Journal of Operational Research 3 Filomat 3 Erkenntnis 3 Journal of the Australian Mathematical Society 3 New Mathematics and Natural Computation 3 Logical Methods in Computer Science 3 Advances in Fuzzy Systems 3 Symmetry 3 Fuzzy Information and Engineering 2 Discrete Mathematics 2 International Journal of Theoretical Physics 2 Reports on Mathematical Physics 2 Applied Mathematics and Computation 2 Biometrical Journal 2 Journal of Computational and Applied Mathematics 2 Journal of Statistical Planning and Inference 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 Opsearch 2 Quaestiones Mathematicae 2 Semigroup Forum 2 Theory and Decision 2 Mathematical Social Sciences 2 History and Philosophy of Logic 2 International Journal of Foundations of Computer Science 2 Pattern Recognition 2 Computational Statistics and Data Analysis 2 Indagationes Mathematicae. New Series 2 Applied Mathematics. Series B (English Edition) 2 Selecta Mathematica. New Series 2 Acta Mathematica et Informatica Universitatis Ostraviensis 2 Mathematical Problems in Engineering 2 Journal of Mathematical Logic 2 Theory and Practice of Logic Programming 2 Journal of Applied Mathematics 2 Science in China. Series F 2 Asian-European Journal of Mathematics 2 Formalized Mathematics 2 Journal of Logical and Algebraic Methods in Programming 2 European Journal of Mathematics 2 Algebraic Structures and their Applications 1 Acta Informatica 1 Computer Physics Communications 1 Discrete Applied Mathematics 1 Indian Journal of Pure & Applied Mathematics ...and 77 more Serials
all top 5

### Cited in 37 Fields

 1,378 Mathematical logic and foundations (03-XX) 446 Computer science (68-XX) 432 Order, lattices, ordered algebraic structures (06-XX) 62 General topology (54-XX) 54 Statistics (62-XX) 42 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 39 General algebraic systems (08-XX) 35 Category theory; homological algebra (18-XX) 25 Information and communication theory, circuits (94-XX) 24 Measure and integration (28-XX) 24 Probability theory and stochastic processes (60-XX) 22 Combinatorics (05-XX) 21 Operations research, mathematical programming (90-XX) 20 History and biography (01-XX) 18 Quantum theory (81-XX) 15 Systems theory; control (93-XX) 14 General and overarching topics; collections (00-XX) 12 Group theory and generalizations (20-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 6 Commutative algebra (13-XX) 6 Associative rings and algebras (16-XX) 6 Real functions (26-XX) 6 Biology and other natural sciences (92-XX) 5 Difference and functional equations (39-XX) 4 Convex and discrete geometry (52-XX) 3 Field theory and polynomials (12-XX) 3 Approximations and expansions (41-XX) 3 Functional analysis (46-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Numerical analysis (65-XX) 1 Number theory (11-XX) 1 Topological groups, Lie groups (22-XX) 1 Potential theory (31-XX) 1 Operator theory (47-XX) 1 Geometry (51-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Geophysics (86-XX)

### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.