Edit Profile (opens in new tab) Hájek, Petr Compute Distance To: Compute 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,464 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 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 132 Publications have been cited 2,620 times in 1,816 Documents Cited by ▼ Year ▼ Metamathematics of fuzzy logic. Zbl 0937.03030Hájek, Petr 1,053 1998 Metamathematics of first-order arithmetic. Zbl 0781.03047Hájek, Petr; Pudlák, Pavel 185 1993 Terminological difficulties in fuzzy set theory – the case of “intuitionistic fuzzy sets”. Zbl 1098.03061Dubois, Didier; Gottwald, Siegfried; Hajek, Petr; Kacprzyk, Janusz; Prade, Henri 94 2005 Residuated fuzzy logics with an involutive negation. Zbl 0965.03035Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko 69 2000 A complete many-valued logic with product-conjunction. Zbl 0848.03005Hájek, Petr; Godo, Lluis; Esteva, Francesc 56 1996 Metamathematics of first-order arithmetic. 2nd printing. Zbl 0889.03053Hájek, Petr; Pudlák, Pavel 55 1998 Hoops and fuzzy logic. Zbl 1039.03016Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco 54 2003 On very true. Zbl 0997.03028Hájek, Petr 51 2001 Making fuzzy description logic more general. Zbl 1094.03014Hájek, Petr 50 2005 Observations on non-commutative fuzzy logic. Zbl 1075.03009Hájek, P. 47 2003 On theories and models in fuzzy predicate logics. Zbl 1111.03030Hájek, Petr; Cintula, Petr 39 2006 On copulas, quasicopulas and fuzzy logic. Zbl 1152.03018Hájek, Petr; Mesiar, Radko 38 2008 Triangular norm based predicate fuzzy logics. Zbl 1200.03020Cintula, Petr; Hájek, Petr 36 2010 Fuzzy logics with noncommutative conjunctions. Zbl 1036.03018Hájek, Petr 30 2003 Mechanizing hypothesis formation. Mathematical foundations for a general theory. Zbl 0371.02002Hajek, P.; Havranek, T. 29 1978 Observations on the monoidal t-norm logic. Zbl 1012.03035Hájek, Petr 29 2002 Knowledge-driven versus data-driven logics. Zbl 0942.03023Dubois, Didier; Hájek, Petr; Prade, Henri 28 2000 The GUHA method of automatic hypotheses determination. Zbl 0168.26105Hajek, P.; Havel, I.; Chytil, M. 25 1966 Triangular norm-based mathematical fuzzy logics. Zbl 1078.03020Gottwald, Siegfried; Hájek, Petr 19 2005 On fuzzy modal logics \(S5(\mathcal C)\). Zbl 1210.03020Hájek, Petr 19 2010 The Liar paradox and fuzzy logic. Zbl 0945.03031Hájek, Petr; Paris, Jeff; Shepherdson, John 18 2000 Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025Hájek, Petr; Paris, Jeff; Shepherdson, John 17 2000 On Łukasiewicz’s four-valued modal logic. Zbl 0998.03022Font, Josep Maria; Hájek, Petr 16 2002 Formal systems of fuzzy logic and their fragments. Zbl 1140.03010Cintula, Petr; Hájek, Petr; Horčík, Rostislav 16 2007 Complexity of t-tautologies. Zbl 1006.03022Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut 15 2002 On witnessed models in fuzzy logic. Zbl 1110.03013Hájek, Petr 15 2007 Handbook of mathematical fuzzy logic. Volume 2. Zbl 1283.03002 14 2011 Fuzzy logic and arithmetical hierarchy. Zbl 0857.03011Hájek, Petr 14 1995 On the metamathematics of fuzzy logic. Zbl 1007.03022Hájek, Petr 13 2000 A fuzzy modal logic for belief functions. Zbl 1044.03009Godo, Lluís; Hájek, Petr; Esteva, Francesc 13 2003 The sorites paradox and fuzzy logic. Zbl 1044.03017Hájek, Petr; Novák, Vilém 13 2003 Handbook of mathematical fuzzy logic. Volume 1. Zbl 1283.03001 13 2011 Introduction to mathematical fuzzy logic. Zbl 1284.03175Běhounek, Libor; Cintula, Petr; Hájek, Petr 13 2011 The logic of \(\Pi_ 1\)-conservativity. Zbl 0713.03007Hájek, Petr; Montagna, Franco 13 1990 Arithmetical complexity of fuzzy predicate logics – a survey. Zbl 1093.03012Hájek, P. 13 2005 What is mathematical fuzzy logic. Zbl 1108.03028Hájek, Petr 12 2006 Interpretability and fragments of arithmetic. Zbl 0791.03033Hájek, Petr 11 1993 Combining functions for certainty degrees in consulting systems. Zbl 0567.68055Hájek, Petr 11 1985 The theory of semisets. Zbl 0332.02064Vopenka, Petr; Hajek, Petr 10 1972 Fuzzy logic and arithmetical hierarchy. III. Zbl 0988.03042Hájek, Petr 10 2001 On arithmetic in the Cantor-Łukasiewicz fuzzy set theory. Zbl 1096.03064Hájek, Petr 10 2005 A non-arithmetical Gödel logic. Zbl 1086.03018Hájek, Petr 9 2005 A qualitative fuzzy possibilistic logic. Zbl 0819.03017Hájek, Petr; Harmancová, Dagmar; Verbrugge, Rineke 9 1995 The GUHA method and the three-valued logic. Zbl 0232.68034Hájek, Petr; Bendová, Kamila; Renc, Zdeněk 9 1971 A note on the first-order logic of complete BL-chains. Zbl 1152.03019Hájek, Petr; Montagna, Franco 9 2008 Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Zbl 1104.03015Hájek, Petr 9 2006 Arithmetical hierarchy and complexity of computation. Zbl 0402.03038Hajek, Petr 8 1979 A new small emendation of Gödel’s ontological proof. Zbl 1016.03020Hájek, Petr 8 2002 A development of set theory in fuzzy logic. Zbl 1040.03041Hájek, Petr; Haniková, Zuzana 8 2003 Magari and others on Gödel’s ontological proof. Zbl 0859.03010Hájek, Petr 8 1996 On interpretability in set theories. Zbl 0231.02087Hájek, Petr 8 1971 A hedge for Gödel fuzzy logic. Zbl 1113.03318Hájek, Petr; Harmancová, Dagmar 8 2000 The logic of \(\Pi_ 1\)-conservativity continued. Zbl 0790.03018Hájek, Petr; Montagna, Franco 7 1992 On witnessed models in fuzzy logic. II. Zbl 1126.03031Hájek, Petr 7 2007 Complexity of fuzzy probability logics. II. Zbl 1124.03008Hájek, Petr 7 2007 On generation of inductive hypotheses. Zbl 0372.68026Hajek, Petr; Havranek, Tomas 6 1977 Experimental logics and \(\Pi^0_3\) theories. Zbl 0428.03043Hajek, Petr 6 1978 Complexity of fuzzy probability logics. Zbl 0972.03025Hájek, Petr; Tulipani, Sauro 6 2001 Fuzzy inference as deduction. Zbl 1033.03018Godo, Lluís; Hájek, Petr 6 1999 Fuzzy implications and generalized quantifiers. Zbl 1232.03017Hájek, Petr; Kohout, Ladislav 6 1996 Fleas and fuzzy logic. Zbl 1078.03021Hájek, Petr 6 2005 Fuzzy logic and arithmetical hierarchy. II. Zbl 0869.03015Hájek, Petr 6 1997 The GUHA method and its meaning for data mining. Zbl 1186.68160Hájek, Petr; Holeňa, Martin; Rauch, Jan 6 2010 On vagueness, truth values and fuzzy logics. Zbl 1173.03023Hájek, Petr 6 2009 Some conservativeness results for nonstandard dynamic logic. Zbl 0617.03012Hajek, P. 6 1986 On sequences of degrees of constructibility (solution of Friedman’s Problem 75). Zbl 0414.03032Balcar, Bohuslav; Hajek, Petr 5 1978 Automatic listing of important observational statements. III. Zbl 0289.68047Hajek, Petr 5 1974 The problem of a general conception of the GUHA method. Zbl 0169.31802Hajek, P. 5 1968 Modelle der Mengenlehre in denen Mengen gegebener Gestalt existieren. Zbl 0171.26402Hajek, P. 5 1965 Ten questions and one problem on fuzzy logic. Zbl 0930.03024Hájek, Petr 5 1999 Monadic fuzzy predicate logics. Zbl 1006.03023Hájek, Petr 5 2002 Combinatorial principles concerning approximations of functions. Zbl 0645.03057Hájek, Petr; Paris, Jeff 5 1987 Embedding logics into product logic. Zbl 0962.03019Baaz, Matthias; Hájek, Petr; Krajíček, Jan; Švejda, David 5 1998 A note on the normal form of closed formulas of interpretability logic. Zbl 0728.03015Hájek, Petr; Švejdar, Vítězslav 5 1991 Mathematical fuzzy logic and natural numbers. Zbl 1139.03016Hájek, Petr 5 2007 On interpretability in set theories. II. Zbl 0251.02064Hajek, Petr 4 1972 On interpretability in theories containing arithmetic. Zbl 0262.02049Hajkova, Marie; Hajek, Petr 4 1972 Über die Gültigkeit des Fundierungsaxioms in speziellen Systemen der Mengentheorie. Zbl 0118.25601Vopěnka, Petr; Hájek, Petr 4 1963 Basic fuzzy logic and BL-algebras. II. Zbl 1018.03021Hájek, P. 4 2003 GUHA for personal computers. Zbl 0875.62013Hájek, P.; Sochorová, A.; Zvárová, J. 4 1995 On some formalized conservation results in arithmetic. Zbl 0689.03027Clote, P.; Hájek, P.; Paris, J. 4 1990 A simple dynamic logic. Zbl 0612.03014Hájek, Petr 4 1986 Complexity issues in axiomatic extensions of Łukasiewicz logic. Zbl 1165.03009Cintula, Petr; Hájek, Petr 4 2009 On interpretability in theories containing arithmetic. II. Zbl 0487.03032Hajek, Petr 3 1981 GUHA - the method of systematical hypotheses searching. Zbl 0316.68049Hajek, Petr; Havel, Ivan; Chytil, Metodej 3 1966 Formal logics of discovery and hypothesis formation by machine. Zbl 1018.03025Hájek, Petr; Holeňa, Martin 3 2003 Fuzzy logic as logic. Zbl 0859.68095Hájek, Petr 3 1995 Arithmetical complexity of fuzzy predicate logics – a survey. II. Zbl 1182.03050Hájek, Petr 3 2009 On recursion theory in \(I\Sigma_ 1\). Zbl 0703.03019Hájek, Petr; Kučera, Antonín 3 1989 Towards a probabilistic analysis of MYCIN-like expert systems. Zbl 0729.68507Hajek, P. 3 1988 Fuzzy logic and arithmetical hierarchy. IV. Zbl 1084.03020Hájek, Petr 3 2004 Deductive systems of fuzzy logic. Zbl 0915.03023Hájek, Petr; Godo, Lluis 2 1997 A note on the notion of truth in fuzzy logic. Zbl 1004.03020Hájek, Petr; Shepherdson, John 2 2001 Embedding standard BL-algebras into non-commutative pseudo-BL-algebras. Zbl 1068.06012Hájek, Petr 2 2003 Abbreviating proofs using metamathematical rules. Zbl 0794.03080Hájek, Petr; Montagna, Franco; Pudlák, Pavel 2 1993 Towards metamathematics of weak arithmetics over fuzzy logic. Zbl 1243.03032Hájek, Petr 2 2011 Sets, semisets, models. Zbl 0233.02025Hájek, Petr 2 1971 On equality and natural numbers in Cantor-Łukasiewicz set theory. Zbl 1283.03086Hájek, Petr 2 2013 On arithmetical complexity of fragments of prominent fuzzy predicate logics. Zbl 1142.03014Hájek, Petr 2 2008 A generalized algebraic approach to uncertainty processing in rule-based expert systems (dempsteroids). Zbl 0712.68092Hájek, Petr; Valdes, Julio J. 2 1991 Metamathematics of first-order arithmetic. Reprint of the 1993 original published by Springer. Zbl 1365.03008Hájek, Petr; Pudlák, Pavel 2 2016 On equality and natural numbers in Cantor-Łukasiewicz set theory. Zbl 1283.03086Hájek, Petr 2 2013 Interpreting lattice-valued set theory in fuzzy set theory. Zbl 1277.03048Hájek, Petr; Haniková, Zuzana 1 2013 Some remarks on Cantor-Łukasiewicz fuzzy set theory. Zbl 1283.03087Hájek, Petr 1 2013 Handbook of mathematical fuzzy logic. Volume 2. Zbl 1283.03002 14 2011 Handbook of mathematical fuzzy logic. Volume 1. Zbl 1283.03001 13 2011 Introduction to mathematical fuzzy logic. Zbl 1284.03175Běhounek, Libor; Cintula, Petr; Hájek, Petr 13 2011 Towards metamathematics of weak arithmetics over fuzzy logic. Zbl 1243.03032Hájek, Petr 2 2011 Arithmetical complexity of first-order fuzzy logics. Zbl 1284.03180Hájek, Petr; Montagna, Franco; Noguera, Carles 1 2011 A conversation about fuzzy logic and vagueness. Zbl 1275.03102Fermüller, Christian G.; Hájek, Petr 1 2011 Triangular norm based predicate fuzzy logics. Zbl 1200.03020Cintula, Petr; Hájek, Petr 36 2010 On fuzzy modal logics \(S5(\mathcal C)\). Zbl 1210.03020Hájek, Petr 19 2010 The GUHA method and its meaning for data mining. Zbl 1186.68160Hájek, Petr; Holeňa, Martin; Rauch, Jan 6 2010 On witnessed models in fuzzy logic. III: Witnessed Gödel logics. Zbl 1191.03019Hájek, Petr 1 2010 On vagueness, truth values and fuzzy logics. Zbl 1173.03023Hájek, Petr 6 2009 Complexity issues in axiomatic extensions of Łukasiewicz logic. Zbl 1165.03009Cintula, Petr; Hájek, Petr 4 2009 Arithmetical complexity of fuzzy predicate logics – a survey. II. Zbl 1182.03050Hájek, Petr 3 2009 Municipal creditworthiness modelling by kernel-based approaches with supervised and semi-supervised learning. Zbl 1187.68392Hajek, Petr; Olej, Vladimir 1 2009 On copulas, quasicopulas and fuzzy logic. Zbl 1152.03018Hájek, Petr; Mesiar, Radko 38 2008 A note on the first-order logic of complete BL-chains. Zbl 1152.03019Hájek, Petr; Montagna, Franco 9 2008 On arithmetical complexity of fragments of prominent fuzzy predicate logics. Zbl 1142.03014Hájek, Petr 2 2008 Formal systems of fuzzy logic and their fragments. Zbl 1140.03010Cintula, Petr; Hájek, Petr; Horčík, Rostislav 16 2007 On witnessed models in fuzzy logic. Zbl 1110.03013Hájek, Petr 15 2007 On witnessed models in fuzzy logic. II. Zbl 1126.03031Hájek, Petr 7 2007 Complexity of fuzzy probability logics. II. Zbl 1124.03008Hájek, Petr 7 2007 Mathematical fuzzy logic and natural numbers. Zbl 1139.03016Hájek, Petr 5 2007 On theories and models in fuzzy predicate logics. Zbl 1111.03030Hájek, Petr; Cintula, Petr 39 2006 What is mathematical fuzzy logic. Zbl 1108.03028Hájek, Petr 12 2006 Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Zbl 1104.03015Hájek, Petr 9 2006 Mathematical fuzzy logic – what it can learn from Mostowski and Rasiowa. Zbl 1112.03017Hájek, Petr 2 2006 Terminological difficulties in fuzzy set theory – the case of “intuitionistic fuzzy sets”. Zbl 1098.03061Dubois, Didier; Gottwald, Siegfried; Hajek, Petr; Kacprzyk, Janusz; Prade, Henri 94 2005 Making fuzzy description logic more general. Zbl 1094.03014Hájek, Petr 50 2005 Triangular norm-based mathematical fuzzy logics. Zbl 1078.03020Gottwald, Siegfried; Hájek, Petr 19 2005 Arithmetical complexity of fuzzy predicate logics – a survey. Zbl 1093.03012Hájek, P. 13 2005 On arithmetic in the Cantor-Łukasiewicz fuzzy set theory. Zbl 1096.03064Hájek, Petr 10 2005 A non-arithmetical Gödel logic. Zbl 1086.03018Hájek, Petr 9 2005 Fleas and fuzzy logic. Zbl 1078.03021Hájek, Petr 6 2005 Fuzzy logic and arithmetical hierarchy. IV. Zbl 1084.03020Hájek, Petr 3 2004 The GUHA method, data preprocessing and mining. Zbl 1099.68690Hájek, Petr; Rauch, Jan; Coufal, David; Feglar, Tomáš 1 2004 Hoops and fuzzy logic. Zbl 1039.03016Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco 54 2003 Observations on non-commutative fuzzy logic. Zbl 1075.03009Hájek, P. 47 2003 Fuzzy logics with noncommutative conjunctions. Zbl 1036.03018Hájek, Petr 30 2003 A fuzzy modal logic for belief functions. Zbl 1044.03009Godo, Lluís; Hájek, Petr; Esteva, Francesc 13 2003 The sorites paradox and fuzzy logic. Zbl 1044.03017Hájek, Petr; Novák, Vilém 13 2003 A development of set theory in fuzzy logic. Zbl 1040.03041Hájek, Petr; Haniková, Zuzana 8 2003 Basic fuzzy logic and BL-algebras. II. Zbl 1018.03021Hájek, P. 4 2003 Formal logics of discovery and hypothesis formation by machine. Zbl 1018.03025Hájek, Petr; Holeňa, Martin 3 2003 Embedding standard BL-algebras into non-commutative pseudo-BL-algebras. Zbl 1068.06012Hájek, Petr 2 2003 On generalized quantifiers, finite sets and data mining. Zbl 1091.68532Hájek, Petr 1 2003 Mathematical fuzzy logic – state of art 2001. Zbl 1078.03508Hájek, Petr 1 2003 Observations on the monoidal t-norm logic. Zbl 1012.03035Hájek, Petr 29 2002 On Łukasiewicz’s four-valued modal logic. Zbl 0998.03022Font, Josep Maria; Hájek, Petr 16 2002 Complexity of t-tautologies. Zbl 1006.03022Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut 15 2002 A new small emendation of Gödel’s ontological proof. Zbl 1016.03020Hájek, Petr 8 2002 Monadic fuzzy predicate logics. Zbl 1006.03023Hájek, Petr 5 2002 Why fuzzy logic? Zbl 1068.03018Hájek, Petr 1 2002 On very true. Zbl 0997.03028Hájek, Petr 51 2001 Fuzzy logic and arithmetical hierarchy. III. Zbl 0988.03042Hájek, Petr 10 2001 Complexity of fuzzy probability logics. Zbl 0972.03025Hájek, Petr; Tulipani, Sauro 6 2001 A note on the notion of truth in fuzzy logic. Zbl 1004.03020Hájek, Petr; Shepherdson, John 2 2001 Residuated fuzzy logics with an involutive negation. Zbl 0965.03035Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko 69 2000 Knowledge-driven versus data-driven logics. Zbl 0942.03023Dubois, Didier; Hájek, Petr; Prade, Henri 28 2000 The Liar paradox and fuzzy logic. Zbl 0945.03031Hájek, Petr; Paris, Jeff; Shepherdson, John 18 2000 Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025Hájek, Petr; Paris, Jeff; Shepherdson, John 17 2000 On the metamathematics of fuzzy logic. Zbl 1007.03022Hájek, Petr 13 2000 A hedge for Gödel fuzzy logic. Zbl 1113.03318Hájek, Petr; Harmancová, Dagmar 8 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 1 2000 Fuzzy inference as deduction. Zbl 1033.03018Godo, Lluís; Hájek, Petr 6 1999 Ten questions and one problem on fuzzy logic. Zbl 0930.03024Hájek, Petr 5 1999 Metamathematics of fuzzy logic. Zbl 0937.03030Hájek, Petr 1,053 1998 Metamathematics of first-order arithmetic. 2nd printing. Zbl 0889.03053Hájek, Petr; Pudlák, Pavel 55 1998 Embedding logics into product logic. Zbl 0962.03019Baaz, Matthias; Hájek, Petr; Krajíček, Jan; Švejda, David 5 1998 Fuzzy logic and arithmetical hierarchy. II. Zbl 0869.03015Hájek, Petr 6 1997 Deductive systems of fuzzy logic. Zbl 0915.03023Hájek, Petr; Godo, Lluis 2 1997 A complete many-valued logic with product-conjunction. Zbl 0848.03005Hájek, Petr; Godo, Lluis; Esteva, Francesc 56 1996 Magari and others on Gödel’s ontological proof. Zbl 0859.03010Hájek, Petr 8 1996 Fuzzy implications and generalized quantifiers. Zbl 1232.03017Hájek, Petr; Kohout, Ladislav 6 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 1 1996 Getting belief functions from Kripke models. Zbl 0845.03003Hájek, Petr 1 1996 Fuzzy logic and arithmetical hierarchy. Zbl 0857.03011Hájek, Petr 14 1995 A qualitative fuzzy possibilistic logic. Zbl 0819.03017Hájek, Petr; Harmancová, Dagmar; Verbrugge, Rineke 9 1995 GUHA for personal computers. Zbl 0875.62013Hájek, P.; Sochorová, A.; Zvárová, J. 4 1995 Fuzzy logic as logic. Zbl 0859.68095Hájek, Petr 3 1995 On logics of approximate reasoning. II. Zbl 0865.68113Hájek, P. 1 1995 A qualitative belief logic. Zbl 1232.68112Harmanec, David; Hájek, Petr 1 1994 Systems of conditional beliefs in Dempster-Shafer theory and expert systems. Zbl 0797.60004Hájek, Petr 1 1994 Metamathematics of first-order arithmetic. Zbl 0781.03047Hájek, Petr; Pudlák, Pavel 185 1993 Interpretability and fragments of arithmetic. Zbl 0791.03033Hájek, Petr 11 1993 Abbreviating proofs using metamathematical rules. Zbl 0794.03080Hájek, Petr; Montagna, Franco; Pudlák, Pavel 2 1993 The logic of \(\Pi_ 1\)-conservativity continued. Zbl 0790.03018Hájek, Petr; Montagna, Franco 7 1992 A note on the normal form of closed formulas of interpretability logic. Zbl 0728.03015Hájek, Petr; Švejdar, Vítězslav 5 1991 A generalized algebraic approach to uncertainty processing in rule-based expert systems (dempsteroids). Zbl 0712.68092Hájek, Petr; Valdes, Julio J. 2 1991 The logic of \(\Pi_ 1\)-conservativity. Zbl 0713.03007Hájek, Petr; Montagna, Franco 13 1990 On some formalized conservation results in arithmetic. Zbl 0689.03027Clote, P.; Hájek, P.; Paris, J. 4 1990 The expert system shell EQUANT-PC: Philosophy, structure and implementation. Zbl 0715.68079Hájek, P.; Hájková, M. 1 1990 On recursion theory in \(I\Sigma_ 1\). Zbl 0703.03019Hájek, Petr; Kučera, Antonín 3 1989 Towards a probabilistic analysis of MYCIN-like expert systems. Zbl 0729.68507Hajek, P. 3 1988 Combinatorial principles concerning approximations of functions. Zbl 0645.03057Hájek, Petr; Paris, Jeff 5 1987 Partial conservativity revisited. Zbl 0679.03025Hájek, Petr 1 1987 Some conservativeness results for nonstandard dynamic logic. Zbl 0617.03012Hajek, P. 6 1986 ...and 32 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,449 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 32 Mesiar, Radko 29 Cintula, Petr 29 Esteva, Francesc 27 Dubois, Didier 22 Noguera, Carles 20 Flaminio, Tommaso 19 Vetterlein, Thomas 19 Visser, Albert 18 Dvurečenskij, Anatolij 18 Prade, Henri M. 18 Zhang, Dexue 16 Aguzzoli, Stefano 16 Rachůnek, Jiří 16 Xin, Xiaolong 15 Bianchi, Matteo 15 Borumand Saeid, Arsham 15 Medina, Jesús 15 Wang, Guojun 15 Xu, Yang 14 Běhounek, Libor 14 Metcalfe, George 14 Straccia, Umberto 14 Zhan, Jianming 13 De Baets, Bernard 12 Bobillo, Fernando 12 Borzooei, Rajab Ali 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 He, Pengfei 11 Jun, Young Bae 11 Konecny, Jan 11 Lai, Hongliang 11 Li, Yongming 11 Marchioni, Enrico 11 Perfilieva, Irina G. 10 Ciucci, Davide 10 Di Nola, Antonio 10 Kurahashi, Taishi 10 Li, Qingguo 10 Pei, Daowu 10 Šalounová, Dana 9 Busaniche, Manuela 9 Ciabattoni, Agata 9 Dvořák, Antonín 9 Georgescu, George 9 Haniková, Zuzana 9 Hu, Baoqing 9 Jenei, Sándor 9 Joosten, Joost J. 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 Marra, Vincenzo 8 Peñaloza, Rafael 8 Torkzadeh, Lida 8 Wang, Juntao 8 Zhang, Xiaohong 8 Zhao, Bin 7 Borgwardt, Stefan 7 Ciungu, Lavinia Corina 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 Wang, Chunyong ...and 1,349 more Authors all top 5 Cited in 180 Serials 429 Fuzzy Sets and Systems 121 Soft Computing 110 Information Sciences 101 International Journal of Approximate Reasoning 84 Archive for Mathematical Logic 77 Annals of Pure and Applied Logic 66 The Journal of Symbolic Logic 56 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 16 Notre Dame Journal of Formal Logic 14 Computers & Mathematics with Applications 13 Journal of Applied Logic 12 Journal of Applied Non-Classical Logics 12 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 11 Mathematica Slovaca 11 Afrika Matematika 10 Annals of Mathematics and Artificial Intelligence 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 8 Open Mathematics 7 Order 7 Information and Computation 7 Logica Universalis 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 Filomat 4 Theory and Practice of Logic Programming 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 Erkenntnis 3 Journal of Mathematical Logic 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 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 80 more Serials all top 5 Cited in 37 Fields 1,402 Mathematical logic and foundations (03-XX) 457 Computer science (68-XX) 446 Order, lattices, ordered algebraic structures (06-XX) 63 General topology (54-XX) 54 Statistics (62-XX) 42 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 40 General algebraic systems (08-XX) 37 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) 13 Group theory and generalizations (20-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 6 Associative rings and algebras (16-XX) 6 Real functions (26-XX) 6 Biology and other natural sciences (92-XX) 5 Commutative algebra (13-XX) 5 Difference and functional equations (39-XX) 4 Convex and discrete geometry (52-XX) 3 Field theory and polynomials (12-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Approximations and expansions (41-XX) 3 Functional analysis (46-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) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.