Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPetr Hájek 0001
Person information
- affiliation: Czech Academy of Sciences, Institute of Computer Science (ICS), Prague, Czech Republic
- 1940-2016
Other persons with the same name
- Petr Hájek 0002
![[0000-0001-5579-1215]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0001-5579-1215")
— University of Pardubice, Czech Republic - Petr Hájek 0003 — Brno University of Technology, Czech Republic (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j106]Guillermo Badia, Petr Cintula, Petr Hájek, Andrew Tedder:
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem? Rev. Symb. Log. 15(2): 487-504 (2022)
2010 – 2019
- 2013
- [j105]Petr Hájek, Zuzana Haniková:
Interpreting lattice-valued set theory in fuzzy set theory. Log. J. IGPL 21(1): 77-90 (2013) - [j104]Petr Hájek:
On equality and natural numbers in Cantor-Łukasiewicz set theory. Log. J. IGPL 21(1): 91-100 (2013) - [j103]Petr Hájek:
Some remarks on Cantor-Łukasiewicz fuzzy set theory. Log. J. IGPL 21(2): 183-186 (2013) - [i2]Petr Hájek, Lluís Godo, Francesc Esteva:
Fuzzy Logic and Probability. CoRR abs/1302.4953 (2013) - [i1]Petr Hájek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluís Godo:
On Modal Logics for Qualitative Possibility in a Fuzzy Setting. CoRR abs/1302.6813 (2013) - 2011
- [j102]Petr Hájek:
Towards metamathematics of weak arithmetics over fuzzy logic. Log. J. IGPL 19(3): 467-475 (2011) - [j101]Petr Hájek:
Comments on Interpretability and Decidability in Fuzzy Logic. J. Log. Comput. 21(5): 823-828 (2011) - [p6]Petr Hájek:
Deductive Systems of Fuzzy Logic. Proof, Computation and Agency 2011: 67-78 - 2010
- [j100]Siegfried Gottwald, Petr Hájek, Ulrich Höhle, Erich-Peter Klement:
Editorial. Fuzzy Sets Syst. 161(3): 299-300 (2010) - [j99]Petr Cintula, Petr Hájek:
Triangular norm based predicate fuzzy logics. Fuzzy Sets Syst. 161(3): 311-346 (2010) - [j98]Petr Hájek:
On fuzzy modal logics S5(L). Fuzzy Sets Syst. 161(18): 2389-2396 (2010) - [j97]Petr Hájek, Martin Holena, Jan Rauch:
The GUHA method and its meaning for data mining. J. Comput. Syst. Sci. 76(1): 34-48 (2010) - [j96]Petr Hájek:
On White's Expansion of Lukasiewicz Logic. J. Log. Comput. 20(2): 389-397 (2010) - [j95]Petr Hájek:
On witnessed models in fuzzy logic III - witnessed Gödel logics. Math. Log. Q. 56(2): 171-174 (2010) - [j94]Petr Hájek:
Some (non)tautologies of łukasiewicz and Product Logic. Rev. Symb. Log. 3(2): 273-278 (2010) - [p5]Petr Hájek:
Logics for Data Mining. Data Mining and Knowledge Discovery Handbook 2010: 541-551
2000 – 2009
- 2009
- [j93]Petr Hájek:
Arithmetical complexity of fuzzy predicate logics - A survey II. Ann. Pure Appl. Log. 161(2): 212-219 (2009) - [j92]Petr Cintula, Petr Hájek:
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. J. Log. Comput. 19(2): 245-260 (2009) - [j91]Petr Hájek:
On Vagueness, Truth Values and Fuzzy Logics. Stud Logica 91(3): 367-382 (2009) - 2008
- [j90]Manuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek:
Editorial. Fuzzy Sets Syst. 159(10): 1129-1130 (2008) - [j89]Petr Hájek, Franco Montagna:
A note on the first-order logic of complete BL-chains. Math. Log. Q. 54(4): 435-446 (2008) - [j88]Petr Hájek:
Ontological Proofs of Existence and Non-Existence. Stud Logica 90(2): 257-262 (2008) - [j87]Petr Hájek:
On arithmetical complexity of fragments of prominent fuzzy predicate logics. Soft Comput. 12(4): 335-340 (2008) - [j86]Petr Hájek, Radko Mesiar:
On copulas, quasicopulas and fuzzy logic. Soft Comput. 12(12): 1239-1243 (2008) - 2007
- [j85]Petr Cintula, Petr Hájek, Rostislav Horcík:
Formal systems of fuzzy logic and their fragments. Ann. Pure Appl. Log. 150(1-3): 40-65 (2007) - [j84]Vilém Novák, Siegfried Gottwald, Petr Hájek:
Selected papers from the International Conference "The Logic of Soft Computing IV" and Fourth workshop of the ERCIM working group on soft computing. Fuzzy Sets Syst. 158(6): 595-596 (2007) - [j83]Petr Hájek:
Complexity of fuzzy probability logics II. Fuzzy Sets Syst. 158(23): 2605-2611 (2007) - [j82]Petr Hájek:
Mathematical Fuzzy Logic and Natural Numbers. Fundam. Informaticae 81(1-3): 155-163 (2007) - [j81]Petr Hájek:
On witnessed models in fuzzy logic. Math. Log. Q. 53(1): 66-77 (2007) - [j80]Petr Hájek:
On witnessed models in fuzzy logic II. Math. Log. Q. 53(6): 610-615 (2007) - [c26]Petr Hájek:
Mathematical Fuzzy Logic - a Survey and Some News. EUSFLAT Conf. (1) 2007: 21-21 - 2006
- [j79]Petr Hájek:
What is mathematical fuzzy logic. Fuzzy Sets Syst. 157(5): 597-603 (2006) - [j78]Petr Hájek:
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Fuzzy Sets Syst. 157(5): 677-682 (2006) - [j77]Petr Cintula, Petr Hájek:
On theories and models in fuzzy predicate logics. J. Symb. Log. 71(3): 863-880 (2006) - [j76]Petr Hájek:
Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa. Stud Logica 84(1): 51-62 (2006) - [c25]Petr Hájek:
On Fuzzy Theories with Crisp Sentences. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 194-200 - [p4]Petr Hájek:
What does mathematical fuzzy logic offer to description logic? Fuzzy Logic and the Semantic Web 2006: 91-100 - 2005
- [j75]Petr Hájek:
On arithmetic in the Cantor- Lukasiewicz fuzzy set theory. Arch. Math. Log. 44(6): 763-782 (2005) - [j74]Petr Hájek:
Making fuzzy description logic more general. Fuzzy Sets Syst. 154(1): 1-15 (2005) - [j73]Didier Dubois, Siegfried Gottwald, Petr Hájek, Janusz Kacprzyk, Henri Prade:
Terminological difficulties in fuzzy set theory - The case of "Intuitionistic Fuzzy Sets". Fuzzy Sets Syst. 156(3): 485-491 (2005) - [j72]Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek:
Editorial. Log. J. IGPL 13(4): 363 (2005) - [j71]Petr Hájek:
A non-arithmetical Gödel logic. Log. J. IGPL 13(4): 435-441 (2005) - [j70]Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek:
Editorial. Log. J. IGPL 13(5): 491 (2005) - [j69]Petr Hájek:
Fleas and Fuzzy Logic. J. Multiple Valued Log. Soft Comput. 11(1-2): 137-152 (2005) - [j68]Petr Hájek:
Arithmetical complexity of fuzzy predicate logics - a survey. Soft Comput. 9(12): 935-941 (2005) - [p3]Petr Hájek:
Logics for Data Mining. The Data Mining and Knowledge Discovery Handbook 2005: 589-602 - 2004
- [j67]Siegfried Gottwald, Petr Hájek:
Editorial. Fuzzy Sets Syst. 143(1): 1-3 (2004) - [c24]Petr Hájek:
A True Unprovable Formula of Fuzzy Predicate Logic. Logic versus Approximation 2004: 1-5 - [p2]Petr Hájek, Jan Rauch, David Coufal, Thomas Feglar:
The GUHA Method, Data Preprocessing and Mining. Database Support for Data Mining Applications 2004: 135-153 - 2003
- [j66]Lluís Godo, Petr Hájek, Francesc Esteva:
A Fuzzy Modal Logic for Belief Functions. Fundam. Informaticae 57(2-4): 127-146 (2003) - [j65]Petr Hájek, Vilém Novák:
The sorites paradox and fuzzy logic. Int. J. Gen. Syst. 32(4): 373-383 (2003) - [j64]Petr Hájek:
Fuzzy Logics with Noncommutative Conjuctions. J. Log. Comput. 13(4): 469-479 (2003) - [j63]Francesc Esteva, Lluís Godo, Petr Hájek, Franco Montagna:
Hoops and Fuzzy Logic. J. Log. Comput. 13(4): 532-555 (2003) - [j62]Petr Hájek:
Basic fuzzy logic and BL-algebras II. Soft Comput. 7(3): 179-183 (2003) - [j61]Petr Hájek:
Observations on non-commutative fuzzy logic. Soft Comput. 8(1): 38-43 (2003) - [j60]Petr Hájek, Martin Holena:
Formal logics of discovery and hypothesis formation by machine. Theor. Comput. Sci. 292(2): 345-357 (2003) - [c23]Petr Hájek:
Relations and GUHA-Style Data Mining II. RelMiCS 2003: 163-170 - [c22]Petr Hájek:
Fleas and fuzzy logic: a survey. EUSFLAT Conf. 2003: 599-603 - [c21]Petr Hájek:
On generalized quantifiers, finite sets and data mining. IIS 2003: 489-496 - [p1]Petr Hájek, Martin Holena, Jan Rauch:
The GUHA Method and Foundations of (Relational) Data Mining. Theory and Applications of Relational Structures as Knowledge Instruments 2003: 17-37 - 2002
- [j59]Petr Hájek:
Observations on the monoidal t-norm logic. Fuzzy Sets Syst. 132(1): 107-112 (2002) - [j58]Josep Maria Font, Petr Hájek:
On Lukasiewicz's Four-Valued Modal Logic. Stud Logica 70(2): 157-182 (2002) - [j57]Petr Hájek:
A New Small Emendation of Gödel's Ontological Proof. Stud Logica 71(2): 149-164 (2002) - [j56]Petr Hájek:
Monadic Fuzzy Predicate Logics. Stud Logica 71(2): 165-175 (2002) - 2001
- [j55]Petr Hájek, John C. Shepherdson:
A note on the notion of truth in fuzzy logic. Ann. Pure Appl. Log. 109(1-2): 65-69 (2001) - [j54]Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith:
Complexity of t-tautologies. Ann. Pure Appl. Log. 113(1-3): 3-11 (2001) - [j53]Petr Hájek, Lluís Godo, Siegfried Gottwald:
Editorial. Fuzzy Sets Syst. 124(3): 269-270 (2001) - [j52]Petr Hájek:
On very true. Fuzzy Sets Syst. 124(3): 329-333 (2001) - [j51]Petr Hájek, Sauro Tulipani:
Complexity of Fuzzy Probability Logics. Fundam. Informaticae 45(3): 207-213 (2001) - [j50]Petr Hájek:
Fuzzy Logic and Arithmetical Hierarchy III. Stud Logica 68(1): 129-142 (2001) - [c20]Petr Hájek:
Relations in GUHA Style Data Mining. RelMiCS 2001: 81-87 - [c19]Lluís Godo, Petr Hájek, Francesc Esteva:
A Fuzzy Modal Logic for Belief Functions. IJCAI 2001: 723-732 - [c18]Petr Hájek, Zuzana Haniková:
A Set Theory within Fuzzy Logic. ISMVL 2001: 319-323 - 2000
- [j49]Francesc Esteva, Lluís Godo, Petr Hájek, Mirko Navara:
Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39(2): 103-124 (2000) - [j48]Petr Hájek, Dagmar Harmancová:
A Hedge for Gödel Fuzzy Logic. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 8(4): 495-498 (2000) - [j47]Didier Dubois, Petr Hájek, Henri Prade:
Knowledge-Driven versus Data-Driven Logics. J. Log. Lang. Inf. 9(1): 65-89 (2000) - [j46]Petr Hájek, Jeff B. Paris, John C. Shepherdson:
The Liar Paradox and Fuzzy Logic. J. Symb. Log. 65(1): 339-346 (2000) - [j45]Petr Hájek, Jeff B. Paris, John C. Shepherdson:
Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic. J. Symb. Log. 65(2): 669-682 (2000)
1990 – 1999
- 1999
- [j44]Petr Hájek:
Ten Questions and One Problem on Fuzzy Logic. Ann. Pure Appl. Log. 96(1-3): 157-165 (1999) - [j43]Lluís Godo, Petr Hájek:
Fuzzy inference as deduction. J. Appl. Non Class. Logics 9(1): 37-60 (1999) - [c17]Petr Hájek, Jan Rauch:
Logics and Statistics for Association Rules and Beyond Abstract of Tutorial. PKDD 1999: 586-587 - 1998
- [b3]Petr Hájek:
Metamathematics of Fuzzy Logic. Trends in Logic 4, Kluwer 1998, ISBN 978-1-4020-0370-7, pp. 1-299 - [j42]Matthias Baaz, Petr Hájek, David Svejda, Jan Krajícek:
Embedding Logics into Product Logic. Stud Logica 61(1): 35-47 (1998) - [j41]Petr Hájek:
Ten claims about fuzzy logic. Soft Comput. 2(1): 14-15 (1998) - [j40]Petr Hájek:
Basic fuzzy logic and BL-algebras. Soft Comput. 2(3): 124-128 (1998) - [c16]Petr Hájek:
Trakhtenbrot Theorem and Fuzzy Logic. CSL 1998: 1-8 - [c15]Petr Hájek, Martin Holena:
Formal Logics of Discovery and Hypothesis Formation by Machine. Discovery Science 1998: 291-302 - 1997
- [j39]Milan Daniel, Petr Hájek, Phuong Hoang Nguyen:
CADIAG-2 and MYCIN-like systems. Artif. Intell. Medicine 9(3): 241-259 (1997) - [j38]Petr Hájek:
Fuzzy Logic and Arithmetical Hierarchy, II. Stud Logica 58(1): 129-141 (1997) - [j37]Petr Hájek, Jeff B. Paris:
A dialogue on fuzzy logic. Soft Comput. 1(1): 3-5 (1997) - 1996
- [j36]Petr Hájek, Lluís Godo, Francesc Esteva:
A complete many-valued logic with product-conjunction. Arch. Math. Log. 35(3): 191-208 (1996) - [j35]Petr Hájek, Dagmar Harmancová:
The Prague seminar of applied mathematical logic and its work on fuzzy logic. Fuzzy Sets Syst. 82(1): 128-129 (1996) - [j34]Petr Hájek, Ladislav J. Kohout:
Fuzzy Implications and generalized Quantifiers. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 4(3): 225-234 (1996) - 1995
- [j33]Petr Hájek, Dagmar Harmancová, Rineke Verbrugge:
A qualitative fuzzy possibilistic logic. Int. J. Approx. Reason. 12(1): 1-19 (1995) - [c14]Petr Hájek, Dagmar Harmancová:
Medical Fuzz;y Expert Systems and Reasoning about Beliefs. AIME 1995: 403-404 - [c13]Petr Hájek:
Fuzzy Logic From The Logical Point of View. SOFSEM 1995: 31-49 - [c12]Petr Hájek, Lluís Godo, Francesc Esteva:
Fuzzy logic and probability. UAI 1995: 237-244 - [e1]Jirí Wiedermann, Petr Hájek:
Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings. Lecture Notes in Computer Science 969, Springer 1995, ISBN 3-540-60246-1 [contents] - 1994
- [j32]David Harmanec, Petr Hájek:
A Qualitative Belief Logic. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 2(2): 227-236 (1994) - [j31]Petr Hájek, Richard Zach:
Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations. J. Appl. Non Class. Logics 4(2): 215-220 (1994) - [c11]Petr Hájek:
Possibilistic Logic as Interpretability Logic. IPMU 1994: 273-280 - [c10]Petr Hájek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluís Godo:
On Modal Logics for Qualitative Possibility in a Fuzzy Setting. UAI 1994: 278-285 - 1993
- [b2]Petr Hájek, Pavel Pudlák:
Metamathematics of First-Order Arithmetic. Perspectives in mathematical logic, Springer 1993, ISBN 978-3-540-63648-9, pp. I-XIV, 1-460 - [j30]Petr Hájek:
Epistemic Entrenchment and Arithmetical Hierarchy. Artif. Intell. 62(1): 79-87 (1993) - [c9]Petr Hájek:
Epistemic Entrenchment and Arthmetical Hierarchy (Abstract). Kurt Gödel Colloquium 1993: 41-42 - [c8]Petr Hájek, Dagmar Harmancová:
A Comparative Fuzzy Modal Logic. FLAI 1993: 27-34 - 1992
- [b1]Petr Hájek, Tomás Havránek, Radim Jirousek:
Uncertain information processing in expert systems. CRC Press 1992, ISBN 978-0-8493-6368-9, pp. I-XIII, 1-285 - [j29]Petr Hájek, Franco Montagna:
The logic ofII1-conservativity continued. Arch. Math. Log. 32(1): 57-63 (1992) - [c7]Petr Hájek, David Harmanec:
On Belief Functions. Advanced Topics in Artificial Intelligence 1992: 286-307 - [c6]Petr Hájek:
On Logics of Approximate Reasoning. Logic at Work 1992: 17-29 - 1991
- [j28]Petr Hájek, Vítezslav Svejdar:
A note on the normal form of closed formulas of interpretability logic. Stud Logica 50(1): 25-28 (1991) - 1990
- [j27]Petr Hájek, Franco Montagna:
The logic of π1-conservativity. Arch. Math. Log. 30(2): 113-123 (1990) - [j26]Peter Clote, Petr Hájek, Jeff B. Paris:
On some formalized conservation results in arithmetic. Arch. Math. Log. 30(4): 201-218 (1990)
1980 – 1989
- 1989
- [j25]Petr Hájek, Antonín Kucera:
On Recursion Theory in I Sigma1. J. Symb. Log. 54(2): 576-589 (1989) - [j24]Petr Hájek, Marie Hájková, Tomás Havránek, Milan Daniel:
The expert system shell EQUANT-PC: brief information. Kybernetika 25(7): 4-9 (1989) - 1987
- [j23]Petr Hájek, Jeff B. Paris:
Combinatorial principles concerning approximations of functions. Arch. Math. Log. 26(1): 13-28 (1987) - 1986
- [j22]Petr Hájek:
A simple dynamic logic. Theor. Comput. Sci. 46: 239-259 (1986) - 1985
- [j21]Petr Hájek:
Combining Functions for Certainty Degrees in Consulting Systems. Int. J. Man Mach. Stud. 22(1): 59-76 (1985) - 1983
- [j20]Petr Hájek:
Arithmetical Interpretations of Dynamic Logic. J. Symb. Log. 48(3): 704-713 (1983) - 1982
- [c5]Petr Hájek:
Applying Artificial Intelligence to Data Analysis. ECAI 1982: 149-150 - 1981
- [j19]Petr Hájek, Petr Kurka:
A second-order dynamic logic with array assignments. Fundam. Informaticae 4(4): 919-934 (1981) - [j18]Petr Hájek:
Introduction. Int. J. Man Mach. Stud. 15(3): 251 (1981) - [j17]Petr Hájek:
Decision Problems of Some Statistically Motivated Monadic Modal Calculi. Int. J. Man Mach. Stud. 15(3): 351-358 (1981) - [c4]Petr Hájek:
Making Dynamic Logic First-Order. MFCS 1981: 287-295 - 1980
- [j16]