×

zbMATH — the first resource for mathematics

Hájek, Petr

Compute Distance To:
Author ID: hajek.petr Recent zbMATH articles by "Hájek, 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

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

Publications by Year

Citations contained in zbMATH

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

Cited by 1,380 Authors

48 Hájek, Petr
42 Bělohlávek, Radim
42 Montagna, Franco
36 Novák, Vilém
34 Vychodil, Vilém
31 Mesiar, Radko
30 Godo, Lluís
28 Cintula, Petr
26 Dubois, Didier
25 Esteva, Francesc
20 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 Bianchi, Matteo
13 Bobillo, Fernando
13 Borzooei, Rajab Ali
13 Medina, Jesús
13 Metcalfe, George
13 Perfilieva, Irina G.
13 Zhan, Jianming
12 Běhounek, Libor
12 Gerla, Giangiacomo
12 Gottwald, Siegfried
12 Kołodziejczyk, Leszek Aleksander
12 Navara, Mirko
12 Xin, Xiaolong
11 Konecny, Jan
11 Li, Yongming
11 Marchioni, Enrico
11 Turunen, Esko
10 Borumand Saeid, Arsham
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 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 Daňková, Martina
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 Lara-Martín, Francisco Felix
7 Ledda, Antonio
7 Li, Lingqiang
7 Ma, Xueling
7 Ma, Zhenming
7 Morsi, Nehad Nashaat
7 Ojeda-Aciego, Manuel
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,280 more Authors
all top 5

Cited in 156 Serials

422 Fuzzy Sets and Systems
113 Information Sciences
113 Soft Computing
94 International Journal of Approximate Reasoning
78 Annals of Pure and Applied Logic
77 Archive for Mathematical Logic
59 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 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 Journal of Mathematical Analysis and Applications
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
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 Iranian Journal of Fuzzy Systems
2 Science in China. Series F
2 Asian-European Journal of 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
1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
...and 56 more Serials
all top 5

Cited in 37 Fields

1,304 Mathematical logic and foundations (03-XX)
432 Computer science (68-XX)
400 Order, lattices, ordered algebraic structures (06-XX)
60 General topology (54-XX)
51 Statistics (62-XX)
39 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
37 General algebraic systems (08-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 Real functions (26-XX)
8 Group theory and generalizations (20-XX)
7 Difference and functional equations (39-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Biology and other natural sciences (92-XX)
5 Associative rings and algebras (16-XX)
4 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)

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.