×
Compute Distance To:
Author ID: hajek.petr Recent zbMATH articles by "Hájek, Petr"
Published as: Hájek, Petr; Hajek, Petr; Hajek, P.; Hájek, P.; Hajek, Peter
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

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

Publications by Year

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

Citations by Year

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