×

Hájek, Petr (b. 1940 d. 2016)

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,567 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

147 Publications have been cited 3,234 times in 2,208 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
236
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
101
2005
Metamathematics of first-order arithmetic. 2nd printing. Zbl 0889.03053
Hájek, Petr; Pudlák, Pavel
75
1998
Residuated fuzzy logics with an involutive negation. Zbl 0965.03035
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko
73
2000
Making fuzzy description logic more general. Zbl 1094.03014
Hájek, Petr
59
2005
On very true. Zbl 0997.03028
Hájek, Petr
58
2001
Hoops and fuzzy logic. Zbl 1039.03016
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco
58
2003
A complete many-valued logic with product-conjunction. Zbl 0848.03005
Hájek, Petr; Godo, Lluis; Esteva, Francesc
58
1996
Handbook of mathematical fuzzy logic. Volume 1. Zbl 1283.03001
56
2011
Observations on non-commutative fuzzy logic. Zbl 1075.03009
Hájek, P.
48
2003
On theories and models in fuzzy predicate logics. Zbl 1111.03030
Hájek, Petr; Cintula, Petr
44
2006
On copulas, quasicopulas and fuzzy logic. Zbl 1152.03018
Hájek, Petr; Mesiar, Radko
40
2008
Triangular norm based predicate fuzzy logics. Zbl 1200.03020
Cintula, Petr; Hájek, Petr
35
2010
Fuzzy logics with noncommutative conjunctions. Zbl 1036.03018
Hájek, Petr
34
2003
Mechanizing hypothesis formation. Mathematical foundations for a general theory. Zbl 0371.02002
Hajek, P.; Havranek, T.
34
1978
Observations on the monoidal t-norm logic. Zbl 1012.03035
Hájek, Petr
33
2002
Knowledge-driven versus data-driven logics. Zbl 0942.03023
Dubois, Didier; Hájek, Petr; Prade, Henri
29
2000
Handbook of mathematical fuzzy logic. Volume 2. Zbl 1283.03002
29
2011
The GUHA method of automatic hypotheses determination. Zbl 0168.26105
Hajek, P.; Havel, I.; Chytil, M.
26
1966
On fuzzy modal logics \(S5(\mathcal C)\). Zbl 1210.03020
Hájek, Petr
25
2010
A fuzzy modal logic for belief functions. Zbl 1044.03009
Godo, Lluís; Hájek, Petr; Esteva, Francesc
24
2003
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025
Hájek, Petr; Paris, Jeff; Shepherdson, John
22
2000
Triangular norm-based mathematical fuzzy logics. Zbl 1078.03020
Gottwald, Siegfried; Hájek, Petr
20
2005
Introduction to mathematical fuzzy logic. Zbl 1284.03175
Běhounek, Libor; Cintula, Petr; Hájek, Petr
19
2011
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
18
2002
The Liar paradox and fuzzy logic. Zbl 0945.03031
Hájek, Petr; Paris, Jeff; Shepherdson, John
18
2000
Formal systems of fuzzy logic and their fragments. Zbl 1140.03010
Cintula, Petr; Hájek, Petr; Horčík, Rostislav
18
2007
On Łukasiewicz’s four-valued modal logic. Zbl 0998.03022
Font, Josep Maria; Hájek, Petr
17
2002
Fuzzy logic and arithmetical hierarchy. Zbl 0857.03011
Hájek, Petr
17
1995
On witnessed models in fuzzy logic. Zbl 1110.03013
Hájek, Petr
16
2007
Arithmetical complexity of fuzzy predicate logics – a survey. Zbl 1093.03012
Hájek, P.
15
2005
Interpretability and fragments of arithmetic. Zbl 0791.03033
Hájek, Petr
15
1993
The sorites paradox and fuzzy logic. Zbl 1044.03017
Hájek, Petr; Novák, Vilém
14
2003
The logic of \(\Pi_ 1\)-conservativity. Zbl 0713.03007
Hájek, Petr; Montagna, Franco
14
1990
What is mathematical fuzzy logic. Zbl 1108.03028
Hájek, Petr
13
2006
On the metamathematics of fuzzy logic. Zbl 1007.03022
Hájek, Petr
13
2000
A qualitative fuzzy possibilistic logic. Zbl 0819.03017
Hájek, Petr; Harmancová, Dagmar; Verbrugge, Rineke
12
1995
A development of set theory in fuzzy logic. Zbl 1040.03041
Hájek, Petr; Haniková, Zuzana
12
2003
The theory of semisets. Zbl 0332.02064
Vopenka, Petr; Hajek, Petr
12
1972
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Zbl 1104.03015
Hájek, Petr
11
2006
Combining functions for certainty degrees in consulting systems. Zbl 0567.68055
Hájek, Petr
11
1985
A note on the first-order logic of complete BL-chains. Zbl 1152.03019
Hájek, Petr; Montagna, Franco
11
2008
On arithmetic in the Cantor-Łukasiewicz fuzzy set theory. Zbl 1096.03064
Hájek, Petr
10
2005
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
10
2001
A non-arithmetical Gödel logic. Zbl 1086.03018
Hájek, Petr
10
2005
A hedge for Gödel fuzzy logic. Zbl 1113.03318
Hájek, Petr; Harmancová, Dagmar
9
2000
The GUHA method and the three-valued logic. Zbl 0232.68034
Hájek, Petr; Bendová, Kamila; Renc, Zdeněk
9
1971
Some conservativeness results for nonstandard dynamic logic. Zbl 0617.03012
Hajek, P.
8
1986
A new small emendation of Gödel’s ontological proof. Zbl 1016.03020
Hájek, Petr
8
2002
Arithmetical hierarchy and complexity of computation. Zbl 0402.03038
Hajek, Petr
8
1979
On interpretability in set theories. Zbl 0231.02087
Hájek, Petr
8
1971
The GUHA method and its meaning for data mining. Zbl 1186.68160
Hájek, Petr; Holeňa, Martin; Rauch, Jan
8
2010
Magari and others on Gödel’s ontological proof. Zbl 0859.03010
Hájek, Petr
8
1996
Complexity of fuzzy probability logics. II. Zbl 1124.03008
Hájek, Petr
8
2007
The logic of \(\Pi_ 1\)-conservativity continued. Zbl 0790.03018
Hájek, Petr; Montagna, Franco
7
1992
Embedding logics into product logic. Zbl 0962.03019
Baaz, Matthias; Hájek, Petr; Krajíček, Jan; Švejda, David
7
1998
Fleas and fuzzy logic. Zbl 1078.03021
Hájek, Petr
7
2005
On witnessed models in fuzzy logic. II. Zbl 1126.03031
Hájek, Petr
7
2007
Combinatorial principles concerning approximations of functions. Zbl 0645.03057
Hájek, Petr; Paris, Jeff
6
1987
Ten questions and one problem on fuzzy logic. Zbl 0930.03024
Hájek, Petr
6
1999
Fuzzy inference as deduction. Zbl 1033.03018
Godo, Lluís; Hájek, Petr
6
1999
On generation of inductive hypotheses. Zbl 0372.68026
Hajek, Petr; Havranek, Tomas
6
1977
The problem of a general conception of the GUHA method. Zbl 0169.31802
Hajek, P.
6
1968
Fuzzy implications and generalized quantifiers. Zbl 1232.03017
Hájek, Petr; Kohout, Ladislav
6
1996
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
Complexity issues in axiomatic extensions of Łukasiewicz logic. Zbl 1165.03009
Cintula, Petr; Hájek, Petr
6
2009
On vagueness, truth values and fuzzy logics. Zbl 1173.03023
Hájek, Petr
6
2009
A simple dynamic logic. Zbl 0612.03014
Hájek, Petr
5
1986
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 sequences of degrees of constructibility (solution of Friedman’s Problem 75). Zbl 0414.03032
Balcar, Bohuslav; Hajek, Petr
5
1978
Modelle der Mengenlehre in denen Mengen gegebener Gestalt existieren. Zbl 0171.26402
Hajek, P.
5
1965
Über die Gültigkeit des Fundierungsaxioms in speziellen Systemen der Mengentheorie. Zbl 0118.25601
Vopěnka, Petr; Hájek, Petr
5
1963
Mathematical fuzzy logic and natural numbers. Zbl 1139.03016
Hájek, Petr
5
2007
A note on the normal form of closed formulas of interpretability logic. Zbl 0728.03015
Hájek, Petr; Švejdar, Vítězslav
5
1991
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
Arithmetical complexity of fuzzy predicate logics – a survey. II. Zbl 1182.03050
Hájek, Petr
4
2009
On some formalized conservation results in arithmetic. Zbl 0689.03027
Clote, P.; Hájek, P.; Paris, J.
4
1990
A generalized algebraic approach to uncertainty processing in rule-based expert systems (dempsteroids). Zbl 0712.68092
Hájek, Petr; Valdes, Julio J.
4
1991
On interpretability in theories containing arithmetic. II. Zbl 0487.03032
Hajek, Petr
4
1981
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
4
1995
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
Embedding standard BL-algebras into non-commutative pseudo-BL-algebras. Zbl 1068.06012
Hájek, Petr
3
2003
A note on the notion of truth in fuzzy logic. Zbl 1004.03020
Hájek, Petr; Shepherdson, John
3
2001
GUHA - the method of systematical hypotheses searching. Zbl 0316.68049
Hajek, Petr; Havel, Ivan; Chytil, Metodej
3
1966
On logics of discovery. Zbl 0353.68090
Hajek, Petr
3
1975
Arithmetical complexity of some problems in computer science. Zbl 0354.68073
Hajek, P.
3
1977
Sets, semisets, models. Zbl 0233.02025
Hájek, Petr
3
1971
Towards metamathematics of weak arithmetics over fuzzy logic. Zbl 1243.03032
Hájek, Petr
3
2011
On recursion theory in \(I\Sigma_ 1\). Zbl 0703.03019
Hájek, Petr; Kučera, Antonín
3
1989
Making dynamic logic first-order. Zbl 0465.68010
Hajek, Petr
3
1981
Getting belief functions from Kripke models. Zbl 0845.03003
Hájek, Petr
3
1996
Arithmetical interpretations of dynamic logic. Zbl 0546.03012
Hájek, Petr
3
1983
Lipschitz retractions and complementation properties of Banach spaces. Zbl 1498.46017
Hájek, Petr; Quilis, Andrés
2
2022
Schauder bases in Lipschitz free spaces over nets in Banach spaces. Zbl 1493.46021
Hájek, Petr; Medina, Rubén
1
2022
Interval-valued fuzzy cognitive maps with genetic learning for predicting corporate financial distress. Zbl 1499.91160
Hajek, Petr; Prochazka, Ondrej
1
2018
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
Interpreting lattice-valued set theory in fuzzy set theory. Zbl 1277.03048
Hájek, Petr; Haniková, Zuzana
1
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
56
2011
Handbook of mathematical fuzzy logic. Volume 2. Zbl 1283.03002
29
2011
Introduction to mathematical fuzzy logic. Zbl 1284.03175
Běhounek, Libor; Cintula, Petr; Hájek, Petr
19
2011
Towards metamathematics of weak arithmetics over fuzzy logic. Zbl 1243.03032
Hájek, Petr
3
2011
Understanding vagueness. Logical, philosophical, and linguistic perspectives. Selected papers based on talks presented at the conference on logical models of reasoning with vague information (LoMoReVI), Čejkovice, Czech Republic, September 14–17, 2009. Zbl 1239.03001
1
2011
Arithmetical complexity of first-order fuzzy logics. Zbl 1284.03180
Hájek, Petr; Montagna, Franco; Noguera, Carles
1
2011
A conversation about fuzzy logic and vagueness. Zbl 1275.03102
Fermüller, Christian G.; Hájek, Petr
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
25
2010
The GUHA method and its meaning for data mining. Zbl 1186.68160
Hájek, Petr; Holeňa, Martin; Rauch, Jan
8
2010
On witnessed models in fuzzy logic. III: Witnessed Gödel logics. Zbl 1191.03019
Hájek, Petr
1
2010
Complexity issues in axiomatic extensions of Łukasiewicz logic. Zbl 1165.03009
Cintula, Petr; Hájek, Petr
6
2009
On vagueness, truth values and fuzzy logics. Zbl 1173.03023
Hájek, Petr
6
2009
Arithmetical complexity of fuzzy predicate logics – a survey. II. Zbl 1182.03050
Hájek, Petr
4
2009
Municipal creditworthiness modelling by kernel-based approaches with supervised and semi-supervised learning. Zbl 1187.68392
Hajek, Petr; Olej, Vladimir
2
2009
On copulas, quasicopulas and fuzzy logic. Zbl 1152.03018
Hájek, Petr; Mesiar, Radko
40
2008
A note on the first-order logic of complete BL-chains. Zbl 1152.03019
Hájek, Petr; Montagna, Franco
11
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
18
2007
On witnessed models in fuzzy logic. Zbl 1110.03013
Hájek, Petr
16
2007
Complexity of fuzzy probability logics. II. Zbl 1124.03008
Hájek, Petr
8
2007
On witnessed models in fuzzy logic. II. Zbl 1126.03031
Hájek, Petr
7
2007
Mathematical fuzzy logic and natural numbers. Zbl 1139.03016
Hájek, Petr
5
2007
On theories and models in fuzzy predicate logics. Zbl 1111.03030
Hájek, Petr; Cintula, Petr
44
2006
What is mathematical fuzzy logic. Zbl 1108.03028
Hájek, Petr
13
2006
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Zbl 1104.03015
Hájek, Petr
11
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
101
2005
Making fuzzy description logic more general. Zbl 1094.03014
Hájek, Petr
59
2005
Triangular norm-based mathematical fuzzy logics. Zbl 1078.03020
Gottwald, Siegfried; Hájek, Petr
20
2005
Arithmetical complexity of fuzzy predicate logics – a survey. Zbl 1093.03012
Hájek, P.
15
2005
On arithmetic in the Cantor-Łukasiewicz fuzzy set theory. Zbl 1096.03064
Hájek, Petr
10
2005
A non-arithmetical Gödel logic. Zbl 1086.03018
Hájek, Petr
10
2005
Fleas and fuzzy logic. Zbl 1078.03021
Hájek, Petr
7
2005
Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. Zbl 1083.03006
2
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
58
2003
Observations on non-commutative fuzzy logic. Zbl 1075.03009
Hájek, P.
48
2003
Fuzzy logics with noncommutative conjunctions. Zbl 1036.03018
Hájek, Petr
34
2003
A fuzzy modal logic for belief functions. Zbl 1044.03009
Godo, Lluís; Hájek, Petr; Esteva, Francesc
24
2003
The sorites paradox and fuzzy logic. Zbl 1044.03017
Hájek, Petr; Novák, Vilém
14
2003
A development of set theory in fuzzy logic. Zbl 1040.03041
Hájek, Petr; Haniková, Zuzana
12
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
3
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
33
2002
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
18
2002
On Łukasiewicz’s four-valued modal logic. Zbl 0998.03022
Font, Josep Maria; Hájek, Petr
17
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
2
2002
On very true. Zbl 0997.03028
Hájek, Petr
58
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
10
2001
A note on the notion of truth in fuzzy logic. Zbl 1004.03020
Hájek, Petr; Shepherdson, John
3
2001
Residuated fuzzy logics with an involutive negation. Zbl 0965.03035
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko
73
2000
Knowledge-driven versus data-driven logics. Zbl 0942.03023
Dubois, Didier; Hájek, Petr; Prade, Henri
29
2000
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025
Hájek, Petr; Paris, Jeff; Shepherdson, John
22
2000
The Liar paradox and fuzzy logic. Zbl 0945.03031
Hájek, Petr; Paris, Jeff; Shepherdson, John
18
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
9
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
Ten questions and one problem on fuzzy logic. Zbl 0930.03024
Hájek, Petr
6
1999
Fuzzy inference as deduction. Zbl 1033.03018
Godo, Lluís; Hájek, Petr
6
1999
Trakhtenbrot theorem and fuzzy logic. Zbl 0943.03021
Hájek, Petr
2
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
75
1998
Embedding logics into product logic. Zbl 0962.03019
Baaz, Matthias; Hájek, Petr; Krajíček, Jan; Švejda, David
7
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
58
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
3
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
2
1996
Fuzzy logic and arithmetical hierarchy. Zbl 0857.03011
Hájek, Petr
17
1995
A qualitative fuzzy possibilistic logic. Zbl 0819.03017
Hájek, Petr; Harmancová, Dagmar; Verbrugge, Rineke
12
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
4
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
2
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
236
1993
Interpretability and fragments of arithmetic. Zbl 0791.03033
Hájek, Petr
15
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.
4
1991
The logic of \(\Pi_ 1\)-conservativity. Zbl 0713.03007
Hájek, Petr; Montagna, Franco
14
1990
On some formalized conservation results in arithmetic. Zbl 0689.03027
Clote, P.; Hájek, P.; Paris, J.
4
1990
...and 47 more Documents
all top 5

Cited by 1,708 Authors

50 Hájek, Petr
46 Montagna, Franco
45 Bělohlávek, Radim
41 Godo, Lluís
38 Novák, Vilém
36 Mesiar, Radko
36 Vychodil, Vilém
34 Esteva, Francesc
30 Cintula, Petr
30 Dubois, Didier
26 Flaminio, Tommaso
25 Borumand Saeid, Arsham
23 Noguera, Carles
23 Visser, Albert
21 Borzooei, Rajab Ali
21 Prade, Henri M.
20 Aguzzoli, Stefano
20 Dvurečenskij, Anatolij
20 Medina, Jesús
20 Vetterlein, Thomas
20 Zhang, Dexue
18 Bianchi, Matteo
18 Xin, Xiaolong
17 De Baets, Bernard
17 Metcalfe, George
17 Rachůnek, Jiří
16 Běhounek, Libor
16 Klement, Erich Peter
16 Li, Yongming
16 Wang, Guojun
15 Xu, Yang
14 He, Pengfei
14 Jun, Young Bae
14 Straccia, Umberto
14 Turunen, Esko
14 Zhan, Jianming
13 Gottwald, Siegfried
13 Jenei, Sándor
13 Kołodziejczyk, Leszek Aleksander
13 Mesiarová-Zemánková, Andrea
13 Navara, Mirko
12 Bobillo, Fernando
12 Ciabattoni, Agata
12 Deschrijver, Glad
12 Gerla, Giangiacomo
12 Haniková, Zuzana
12 Lai, Hongliang
12 Perfilieva, Irina G.
12 Yokoyama, Keita
11 Baaz, Matthias
11 Cornejo, Maria Eugenia
11 Daňková, Martina
11 Dvořák, Antonín
11 Hu, Baoqing
11 Konecny, Jan
11 Kurahashi, Taishi
11 Li, Qingguo
11 Marchioni, Enrico
11 Marra, Vincenzo
11 Štěpnička, Martin
10 Bedregal, Benjamín René Callejas
10 Busaniche, Manuela
10 Ciucci, Davide
10 Di Nola, Antonio
10 Freytes, Hector
10 Georgescu, George
10 Joosten, Joost J.
10 Kerre, Etienne E.
10 Motamed, Somayeh
10 Pei, Daowu
10 Šalounová, Dana
10 Ugolini, Sara
10 Wang, Sanmin
10 Zahiri, Saeide
9 Agliano, Paolo
9 Beklemishev, Lev D.
9 Botur, Michal
9 Fermüller, Christian G.
9 Horčík, Rostislav
9 Kolesárová, Anna
9 Lele, Celestin
9 Li, Lingqiang
9 Nicolai, Carlo
9 Peñaloza, Rafael
9 Ramírez-Poussa, Eloisa
9 Rodríguez, Ricardo Oscar
9 Wang, Juntao
9 Zhou, Hongjun
8 Borgwardt, Stefan
8 Chajda, Ivan
8 Ciungu, Lavinia Corina
8 Cordón-Franco, Andrés
8 Cornelis, Chris
8 Davvaz, Bijan
8 Dellunde, Pilar
8 García-Cerdaña, Àngel
8 Gerla, Brunella
8 Holcapek, Michal
8 Kologani, Mona Aaly
8 Lara-Martín, Francisco Felix
...and 1,608 more Authors
all top 5

Cited in 205 Serials

483 Fuzzy Sets and Systems
132 Information Sciences
127 Soft Computing
116 International Journal of Approximate Reasoning
94 Archive for Mathematical Logic
93 Annals of Pure and Applied Logic
74 The Journal of Symbolic Logic
66 Studia Logica
53 Mathematical Logic Quarterly (MLQ)
43 Theoretical Computer Science
39 The Review of Symbolic Logic
29 The Bulletin of Symbolic Logic
24 Kybernetika
23 Journal of Philosophical Logic
20 Artificial Intelligence
20 International Journal of General Systems
18 Notre Dame Journal of Formal Logic
18 Journal of Applied Non-Classical Logics
17 Computers & Mathematics with Applications
17 Journal of Intelligent and Fuzzy Systems
17 Iranian Journal of Fuzzy Systems
14 Journal of Applied Logic
12 Mathematica Slovaca
12 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
11 Algebra Universalis
11 Afrika Matematika
11 Open Mathematics
10 Order
10 Annals of Mathematics and Artificial Intelligence
9 Journal of Computer and System Sciences
9 Journal of Pure and Applied Algebra
9 Logica Universalis
8 Information and Computation
8 International Journal of Intelligent Systems
8 Fuzzy Optimization and Decision Making
7 Synthese
7 Logic and Logical Philosophy
7 New Mathematics and Natural Computation
7 Journal of Algebraic Systems
6 Czechoslovak Mathematical Journal
6 International Journal of Mathematics and Mathematical Sciences
6 Journal of Algebra
6 Transactions of the American Mathematical Society
6 Bulletin of the Section of Logic
6 Abstract and Applied Analysis
6 Korean Journal of Mathematics
5 Journal of Mathematical Analysis and Applications
5 Central European Journal of Mathematics
5 Journal of Multiple-Valued Logic and Soft Computing
5 Logical Methods in Computer Science
4 Archiv für Mathematische Logik und Grundlagenforschung
4 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
4 Advances in Mathematics
4 Fundamenta Mathematicae
4 MSCS. Mathematical Structures in Computer Science
4 Journal of Logic, Language and Information
4 Filomat
4 Erkenntnis
4 Journal of Mathematical Logic
4 Kragujevac Journal of Mathematics
4 Theory and Practice of Logic Programming
4 Advances in Fuzzy Systems
4 Symmetry
4 Algebraic Structures and their Applications
3 Communications in Algebra
3 Commentationes Mathematicae Universitatis Carolinae
3 Demonstratio Mathematica
3 Journal of Computational and Applied Mathematics
3 Proceedings of the American Mathematical Society
3 Journal of Automated Reasoning
3 European Journal of Operational Research
3 Indagationes Mathematicae. New Series
3 Journal of the Egyptian Mathematical Society
3 Journal of the Australian Mathematical Society
3 Formalized Mathematics
3 TWMS Journal of Pure and Applied Mathematics
3 Fuzzy Information and Engineering
2 Discrete Mathematics
2 International Journal of Theoretical Physics
2 Reports on Mathematical Physics
2 Algebra and Logic
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 Rendiconti del Circolo Matemàtico di Palermo. Serie II
2 Semigroup Forum
2 Theory and Decision
2 Topology and its Applications
2 Mathematical Social Sciences
2 History and Philosophy of Logic
2 Machine Learning
2 Mathematica Bohemica
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 Selecta Mathematica. New Series
...and 105 more Serials
all top 5

Cited in 39 Fields

1,711 Mathematical logic and foundations (03-XX)
562 Order, lattices, ordered algebraic structures (06-XX)
550 Computer science (68-XX)
79 General topology (54-XX)
61 Statistics (62-XX)
52 General algebraic systems (08-XX)
51 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
50 Category theory; homological algebra (18-XX)
30 Probability theory and stochastic processes (60-XX)
29 Combinatorics (05-XX)
27 Information and communication theory, circuits (94-XX)
25 History and biography (01-XX)
24 Measure and integration (28-XX)
24 Operations research, mathematical programming (90-XX)
22 Quantum theory (81-XX)
19 General and overarching topics; collections (00-XX)
16 Systems theory; control (93-XX)
15 Group theory and generalizations (20-XX)
10 Linear and multilinear algebra; matrix theory (15-XX)
9 Real functions (26-XX)
7 Difference and functional equations (39-XX)
7 Biology and other natural sciences (92-XX)
6 Associative rings and algebras (16-XX)
5 Commutative algebra (13-XX)
4 Dynamical systems and ergodic theory (37-XX)
4 Functional analysis (46-XX)
4 Operator theory (47-XX)
4 Convex and discrete geometry (52-XX)
3 Number theory (11-XX)
3 Field theory and polynomials (12-XX)
3 Approximations and expansions (41-XX)
3 Numerical analysis (65-XX)
2 Topological groups, Lie groups (22-XX)
2 Geometry (51-XX)
1 Potential theory (31-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Relativity and gravitational theory (83-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.