# zbMATH — the first resource for mathematics

## Hájek, Petr

Compute Distance To:
 Author ID: hajek.petr Published as: Hajek, P.; Hajek, Peter; Hajek, Petr; Hájek, P.; Hájek, Petr External Links: MGP · Wikidata · dblp · GND
 Documents Indexed: 197 Publications since 1963, including 17 Books Biographic References: 9 Publications
all top 5

#### Co-Authors

 108 single-authored 9 Godo, Lluís 8 Cintula, Petr 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 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 Mesiar, Radko 1 Navara, Mirko 1 Ojeda-Aciego, Manuel 1 Olej, Vladimír 1 Renc, Zdeněk 1 Sochor, Antonin 1 Sochorová, A. 1 Švejdar, Vítězslav 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 Computers and Artificial Intelligence 2 Perspectives in Mathematical Logic 1 Artificial Intelligence 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 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 The Review of Symbolic Logic 1 Universitext 1 Perspectives in Logic
all top 5

#### Fields

 160 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 Probability theory and stochastic processes (60-XX) 2 History and biography (01-XX) 1 Category theory; homological algebra (18-XX)

#### Citations contained in zbMATH

133 Publications have been cited 2,457 times in 1,689 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
A complete many-valued logic with product-conjunction. Zbl 0848.03005
Hájek, Petr; Godo, Lluis; Esteva, Francesc
1996
Metamathematics of first-order arithmetic. 2nd printing. Zbl 0889.03053
Hájek, Petr; Pudlák, Pavel
1998
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 theories and models in fuzzy predicate logics. Zbl 1111.03030
Hájek, Petr; Cintula, Petr
2006
On copulas, quasicopulas and fuzzy logic. Zbl 1152.03018
2008
Triangular norm based predicate fuzzy logics. Zbl 1200.03020
Cintula, Petr; Hájek, Petr
2010
Fuzzy logics with noncommutative conjunctions. Zbl 1036.03018
Hájek, Petr
2003
Observations on the monoidal t-norm logic. Zbl 1012.03035
Hájek, Petr
2002
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
Handbook of mathematical fuzzy logic. Volume 2. Zbl 1283.03002
Cintula, Petr (ed.); Hájek, Petr (ed.); Noguera, Carles (ed.)
2011
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025
Hájek, Petr; Paris, Jeff; Shepherdson, John
2000
The Liar paradox and fuzzy logic. Zbl 0945.03031
Hájek, Petr; Paris, Jeff; Shepherdson, John
2000
Formal systems of fuzzy logic and their fragments. Zbl 1140.03010
Cintula, Petr; Hájek, Petr; Horčík, Rostislav
2007
On witnessed models in fuzzy logic. Zbl 1110.03013
Hájek, Petr
2007
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
2002
Arithmetical complexity of fuzzy predicate logics – a survey. Zbl 1093.03012
Hájek, P.
2005
The sorites paradox and fuzzy logic. Zbl 1044.03017
Hájek, Petr; Novák, Vilém
2003
A fuzzy modal logic for belief functions. Zbl 1044.03009
Godo, Lluís; Hájek, Petr; Esteva, Francesc
2003
On the metamathematics of fuzzy logic. Zbl 1007.03022
Hájek, Petr
2000
On fuzzy modal logics $$S5(\mathcal C)$$. Zbl 1210.03020
Hájek, Petr
2010
What is mathematical fuzzy logic. Zbl 1108.03028
Hájek, Petr
2006
On Łukasiewicz’s four-valued modal logic. Zbl 0998.03022
Font, Josep Maria; Hájek, Petr
2002
Fuzzy logic and arithmetical hierarchy. Zbl 0857.03011
Hájek, Petr
1995
The logic of $$\Pi_ 1$$-conservativity. Zbl 0713.03007
Hájek, Petr; Montagna, Franco
1990
Interpretability and fragments of arithmetic. Zbl 0791.03033
Hájek, Petr
1993
Combining functions for certainty degrees in consulting systems. Zbl 0567.68055
Hájek, Petr
1985
Introduction to mathematical fuzzy logic. Zbl 1284.03175
Běhounek, Libor; Cintula, Petr; Hájek, Petr
2011
On arithmetic in the Cantor-Łukasiewicz fuzzy set theory. Zbl 1096.03064
Hájek, Petr
2005
A development of set theory in fuzzy logic. Zbl 1040.03041
Hájek, Petr; Haniková, Zuzana
2003
Fuzzy logic and arithmetical hierarchy. III. Zbl 0988.03042
Hájek, Petr
2001
A qualitative fuzzy possibilistic logic. Zbl 0819.03017
Hájek, Petr; Harmancová, Dagmar; Verbrugge, Rineke
1995
The theory of semisets. Zbl 0332.02064
Vopenka, Petr; Hajek, Petr
1972
The GUHA method and the three-valued logic. Zbl 0232.68034
Hájek, Petr; Bendová, Kamila; Renc, Zdeněk
1971
Handbook of mathematical fuzzy logic. Volume 1. Zbl 1283.03001
Cintula, Petr (ed.); Hájek, Petr (ed.); Noguera, Carles (ed.)
2011
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Zbl 1104.03015
Hájek, Petr
2006
A non-arithmetical Gödel logic. Zbl 1086.03018
Hájek, Petr
2005
Complexity of fuzzy probability logics. Zbl 0972.03025
Hájek, Petr; Tulipani, Sauro
2001
A hedge for Gödel fuzzy logic. Zbl 1113.03318
Hájek, Petr; Harmancová, Dagmar
2000
Complexity of fuzzy probability logics. II. Zbl 1124.03008
Hájek, Petr
2007
A new small emendation of Gödel’s ontological proof. Zbl 1016.03020
Hájek, Petr
2002
Magari and others on Gödel’s ontological proof. Zbl 0859.03010
Hájek, Petr
1996
The logic of $$\Pi_ 1$$-conservativity continued. Zbl 0790.03018
Hájek, Petr; Montagna, Franco
1992
On interpretability in set theories. Zbl 0231.02087
Hájek, Petr
1971
On vagueness, truth values and fuzzy logics. Zbl 1173.03023
Hájek, Petr
2009
A note on the first-order logic of complete BL-chains. Zbl 1152.03019
Hájek, Petr; Montagna, Franco
2008
On witnessed models in fuzzy logic. II. Zbl 1126.03031
Hájek, Petr
2007
Fleas and fuzzy logic. Zbl 1078.03021
Hájek, Petr
2005
Fuzzy inference as deduction. Zbl 1033.03018
Godo, Lluís; Hájek, Petr
1999
Fuzzy logic and arithmetical hierarchy. II. Zbl 0869.03015
Hájek, Petr
1997
Fuzzy implications and generalized quantifiers. Zbl 1232.03017
1996
Some conservativeness results for nonstandard dynamic logic. Zbl 0617.03012
Hajek, P.
1986
Arithmetical hierarchy and complexity of computation. Zbl 0402.03038
Hajek, Petr
1979
The GUHA method and its meaning for data mining. Zbl 1186.68160
Hájek, Petr; Holeňa, Martin; Rauch, Jan
2010
Monadic fuzzy predicate logics. Zbl 1006.03023
Hájek, Petr
2002
Ten questions and one problem on fuzzy logic. Zbl 0930.03024
Hájek, Petr
1999
Embedding logics into product logic. Zbl 0962.03019
Baaz, Matthias; Hájek, Petr; Krajíček, Jan; Švejda, David
1998
A note on the normal form of closed formulas of interpretability logic. Zbl 0728.03015
Hájek, Petr; Švejdar, Vítězslav
1991
Experimental logics and $$\Pi^0_3$$ theories. Zbl 0428.03043
Hajek, Petr
1978
On sequences of degrees of constructibility (solution of Friedman’s Problem 75). Zbl 0414.03032
Balcar, Bohuslav; Hajek, Petr
1978
On generation of inductive hypotheses. Zbl 0372.68026
Hajek, Petr; Havranek, Tomas
1977
Automatic listing of important observational statements. III. Zbl 0289.68047
Hajek, Petr
1974
Modelle der Mengenlehre in denen Mengen gegebener Gestalt existieren. Zbl 0171.26402
Hajek, P.
1965
Complexity issues in axiomatic extensions of Łukasiewicz logic. Zbl 1165.03009
Cintula, Petr; Hájek, Petr
2009
Basic fuzzy logic and BL-algebras. II. Zbl 1018.03021
Hájek, P.
2003
GUHA for personal computers. Zbl 0875.62013
Hájek, P.; Sochorová, A.; Zvárová, J.
1995
On some formalized conservation results in arithmetic. Zbl 0689.03027
Clote, P.; Hájek, P.; Paris, J.
1990
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
A simple dynamic logic. Zbl 0612.03014
Hájek, Petr
1986
On interpretability in theories containing arithmetic. Zbl 0262.02049
Hajkova, Marie; Hajek, Petr
1972
On interpretability in set theories. II. Zbl 0251.02064
Hajek, Petr
1972
The problem of a general conception of the GUHA method. Zbl 0169.31802
Hajek, P.
1968
Über die Gültigkeit des Fundierungsaxioms in speziellen Systemen der Mengentheorie. Zbl 0118.25601
Vopěnka, Petr; Hájek, Petr
1963
Arithmetical complexity of fuzzy predicate logics – a survey. II. Zbl 1182.03050
Hájek, Petr
2009
Fuzzy logic and arithmetical hierarchy. IV. Zbl 1084.03020
Hájek, Petr
2004
Formal logics of discovery and hypothesis formation by machine. Zbl 1018.03025
Hájek, Petr; Holeňa, Martin
2003
Fuzzy logic as logic. Zbl 0859.68095
Hájek, Petr
1995
On recursion theory in $$I\Sigma_ 1$$. Zbl 0703.03019
Hájek, Petr; Kučera, Antonín
1989
On interpretability in theories containing arithmetic. II. Zbl 0487.03032
Hajek, Petr
1981
GUHA - the method of systematical hypotheses searching. Zbl 0316.68049
Hajek, Petr; Havel, Ivan; Chytil, Metodej
1966
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
Arithmetical complexity of first-order fuzzy logics. Zbl 1284.03180
Hájek, Petr; Montagna, Franco; Noguera, Carles
2011
On arithmetical complexity of fragments of prominent fuzzy predicate logics. Zbl 1142.03014
Hájek, Petr
2008
Mathematical fuzzy logic and natural numbers. Zbl 1139.03016
Hájek, Petr
2007
Embedding standard BL-algebras into non-commutative pseudo-BL-algebras. Zbl 1068.06012
Hájek, Petr
2003
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
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
Hájek, Petr (ed.)
1996
Getting belief functions from Kripke models. Zbl 0845.03003
Hájek, Petr
1996
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 2. Zbl 1283.03002
Cintula, Petr (ed.); Hájek, Petr (ed.); Noguera, Carles (ed.)
2011
Introduction to mathematical fuzzy logic. Zbl 1284.03175
Běhounek, Libor; Cintula, Petr; Hájek, Petr
2011
Handbook of mathematical fuzzy logic. Volume 1. Zbl 1283.03001
Cintula, Petr (ed.); Hájek, Petr (ed.); Noguera, Carles (ed.)
2011
Arithmetical complexity of first-order fuzzy logics. Zbl 1284.03180
Hájek, Petr; Montagna, Franco; Noguera, Carles
2011
A conversation about fuzzy logic and vagueness. Zbl 1275.03102
Fermüller, Christian G.; Hájek, Petr
2011
Towards metamathematics of weak arithmetics over fuzzy logic. Zbl 1243.03032
Hájek, Petr
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
Formal systems of fuzzy logic and their fragments. Zbl 1140.03010
Cintula, Petr; Hájek, Petr; Horčík, Rostislav
2007
On witnessed models in fuzzy logic. Zbl 1110.03013
Hájek, Petr
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
The sorites paradox and fuzzy logic. Zbl 1044.03017
Hájek, Petr; Novák, Vilém
2003
A fuzzy modal logic for belief functions. Zbl 1044.03009
Godo, Lluís; Hájek, Petr; Esteva, Francesc
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
Mathematical fuzzy logic – state of art 2001. Zbl 1078.03508
Hájek, Petr
2003
On generalized quantifiers, finite sets and data mining. Zbl 1091.68532
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
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025
Hájek, Petr; Paris, Jeff; Shepherdson, John
2000
The Liar paradox and fuzzy logic. Zbl 0945.03031
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
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
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
Hájek, Petr (ed.)
1996
Getting belief functions from Kripke models. Zbl 0845.03003
Hájek, Petr
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
Combining functions for certainty degrees in consulting systems. Zbl 0567.68055
Hájek, Petr
1985
...and 33 more Documents
all top 5

#### Cited by 1,384 Authors

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

#### Cited in 158 Serials

 422 Fuzzy Sets and Systems 114 Information Sciences 113 Soft Computing 94 International Journal of Approximate Reasoning 78 Annals of Pure and Applied Logic 77 Archive for Mathematical Logic 60 The Journal of Symbolic Logic 47 Studia Logica 45 Mathematical Logic Quarterly (MLQ) 34 Theoretical Computer Science 27 The Review of Symbolic Logic 24 Kybernetika 22 The Bulletin of Symbolic Logic 20 International Journal of General Systems 17 Journal of Philosophical Logic 17 Journal of Intelligent and Fuzzy Systems 15 Artificial Intelligence 15 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 Journal of Computer and System Sciences 8 International Journal of Intelligent Systems 8 Fuzzy Optimization and Decision Making 7 Order 7 Logica Universalis 6 Czechoslovak Mathematical Journal 6 Journal of Algebra 6 Mathematica Slovaca 6 Information and Computation 6 Open Mathematics 5 Journal of Mathematical Analysis and Applications 5 International Journal of Mathematics and Mathematical Sciences 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 Algebra Universalis 4 Transactions of the American Mathematical Society 4 MSCS. Mathematical Structures in Computer Science 4 Journal of Logic, Language and Information 4 Logic and Logical Philosophy 4 Journal of Multiple-Valued Logic and Soft Computing 4 Iranian Journal of Fuzzy Systems 3 Communications in Algebra 3 Advances in Mathematics 3 Commentationes Mathematicae Universitatis Carolinae 3 Demonstratio Mathematica 3 Proceedings of the American Mathematical Society 3 Synthese 3 Journal of Automated Reasoning 3 European Journal of Operational Research 3 Indagationes Mathematicae. New Series 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 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 Applied Mathematics. Series B (English Edition) 2 Journal of the Egyptian Mathematical Society 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 1 Acta Informatica 1 Computer Physics Communications 1 Discrete Applied Mathematics 1 Indian Journal of Pure & Applied Mathematics 1 Information Processing Letters 1 Periodica Mathematica Hungarica 1 Russian Mathematical Surveys 1 Chaos, Solitons and Fractals 1 Algebra and Logic 1 Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie IV ...and 58 more Serials
all top 5

#### Cited in 37 Fields

 1,316 Mathematical logic and foundations (03-XX) 430 Computer science (68-XX) 400 Order, lattices, ordered algebraic structures (06-XX) 62 General topology (54-XX) 53 Statistics (62-XX) 38 General algebraic systems (08-XX) 38 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 34 Category theory; homological algebra (18-XX) 24 Measure and integration (28-XX) 24 Information and communication theory, circuits (94-XX) 23 Probability theory and stochastic processes (60-XX) 21 Combinatorics (05-XX) 21 Operations research, mathematical programming (90-XX) 19 History and biography (01-XX) 19 Quantum theory (81-XX) 15 General and overarching topics; collections (00-XX) 15 Systems theory; control (93-XX) 9 Group theory and generalizations (20-XX) 9 Real functions (26-XX) 7 Difference and functional equations (39-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 Associative rings and algebras (16-XX) 6 Biology and other natural sciences (92-XX) 5 Commutative algebra (13-XX) 4 Functional analysis (46-XX) 4 Convex and discrete geometry (52-XX) 3 Field theory and polynomials (12-XX) 3 Approximations and expansions (41-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.