Petr Hájek

Petr Hájek, Zuzana Haniková: Interpreting lattice-valued set theory in fuzzy set theory. Logic Journal of the IGPL 21(1): 77-90 (2013)

Petr Hájek: On equality and natural numbers in Cantor-Łukasiewicz set theory. Logic Journal of the IGPL 21(1): 91-100 (2013)

Petr Hájek: Some remarks on Cantor-Łukasiewicz fuzzy set theory. Logic Journal of the IGPL 21(2): 183-186 (2013)

Petr Hájek, Lluis Godo, Francesc Esteva: Fuzzy Logic and Probability. CoRR abs/1302.4953 (2013)

Petr Hájek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluis Godo: On Modal Logics for Qualitative Possibility in a Fuzzy Setting. CoRR abs/1302.6813 (2013)

Petr Hájek, Vladimír Olej: Ozone prediction on the basis of neural networks, support vector regression and methods with uncertainty. Ecological Informatics 12: 31-42 (2012)

Petr Hájek, Vladimír Olej: Adaptive Intuitionistic Fuzzy Inference Systems of Takagi-Sugeno Type for Regression Problems. AIAI (1) 2012: 206-216

Petr Hájek: Municipal credit rating modelling by neural networks. Decision Support Systems 51(1): 108-118 (2011)

Petr Hájek: Towards metamathematics of weak arithmetics over fuzzy logic. Logic Journal of the IGPL 19(3): 467-475 (2011)

Petr Hájek: Comments on Interpretability and Decidability in Fuzzy Logic. J. Log. Comput. 21(5): 823-828 (2011)

Petr Hájek, Vladimír Olej: Credit rating modelling by kernel-based approaches with supervised and semi-supervised learning. Neural Computing and Applications 20(6): 761-773 (2011)

Petr Hájek: Deductive Systems of Fuzzy Logic. Proof, Computation and Agency 2011: 67-78

Vladimír Olej, Petr Hájek: Comparison of Fuzzy Operators for IF-Inference Systems of Takagi-Sugeno Type in Ozone Prediction. EANN/AIAI (2) 2011: 92-97

Siegfried Gottwald, Petr Hájek, Ulrich Höhle, Erich-Peter Klement: Editorial. Fuzzy Sets and Systems 161(3): 299-300 (2010)

Petr Cintula, Petr Hájek: Triangular norm based predicate fuzzy logics. Fuzzy Sets and Systems 161(3): 311-346 (2010)

Petr Hájek: On fuzzy modal logics S5(L). Fuzzy Sets and Systems 161(18): 2389-2396 (2010)

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)

Petr Hájek: On White's Expansion of Lukasiewicz Logic. J. Log. Comput. 20(2): 389-397 (2010)

Petr Hájek: On witnessed models in fuzzy logic III - witnessed Gödel logics. Math. Log. Q. 56(2): 171-174 (2010)

Vladimír Olej, Petr Hájek: IF-Inference Systems Design for Prediction of Ozone Time Series: The Case of Pardubice Micro-region. ICANN (1) 2010: 1-11

Petr Hájek: Probabilistic Neural Networks for Credit Rating Modelling. IJCCI (ICFC-ICNC) 2010: 289-294

Petr Hájek: Logics for Data Mining. Data Mining and Knowledge Discovery Handbook 2010: 541-551

Petr Hájek: Arithmetical complexity of fuzzy predicate logics - A survey II. Ann. Pure Appl. Logic 161(2): 212-219 (2009)

Petr Cintula, Petr Hájek: Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. J. Log. Comput. 19(2): 245-260 (2009)

Petr Hájek: On Vagueness, Truth Values and Fuzzy Logics. Studia Logica 91(3): 367-382 (2009)

Vladimír Olej, Petr Hájek: Municipal Creditworthiness Modelling by Radial Basis Function Neural Networks and Sensitive Analysis of Their Input Parameters. ICANN (2) 2009: 505-514

Manuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek: Editorial. Fuzzy Sets and Systems 159(10): 1129-1130 (2008)

Petr Hájek, Franco Montagna: A note on the first-order logic of complete BL-chains. Math. Log. Q. 54(4): 435-446 (2008)

Petr Hájek: Ontological Proofs of Existence and Non-Existence. Studia Logica 90(2): 257-262 (2008)

Petr Hájek: On arithmetical complexity of fragments of prominent fuzzy predicate logics. Soft Comput. 12(4): 335-340 (2008)

Petr Hájek, Radko Mesiar: On copulas, quasicopulas and fuzzy logic. Soft Comput. 12(12): 1239-1243 (2008)

Petr Hájek, Vladimír Olej: Municipal Creditworthiness Modelling by Kohonen's Self-organizing Feature Maps and LVQ Neural Networks. ICAISC 2008: 52-61

Petr Hájek, Vladimír Olej: Municipal Creditworthiness Modelling by Kohonen's Self-Organizing Feature Maps and Fuzzy Logic Neural Networks. ICANN (1) 2008: 533-542

Petr Cintula, Petr Hájek, Rostislav Horcík: Formal systems of fuzzy logic and their fragments. Ann. Pure Appl. Logic 150(1-3): 40-65 (2007)

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 and Systems 158(6): 595-596 (2007)

Petr Hájek: Complexity of fuzzy probability logics II. Fuzzy Sets and Systems 158(23): 2605-2611 (2007)

Petr Hájek: Mathematical Fuzzy Logic and Natural Numbers. Fundam. Inform. 81(1-3): 155-163 (2007)

Petr Hájek: On witnessed models in fuzzy logic. Math. Log. Q. 53(1): 66-77 (2007)

Petr Hájek: On witnessed models in fuzzy logic II. Math. Log. Q. 53(6): 610-615 (2007)

Petr Hájek: Mathematical Fuzzy Logic - a Survey and Some News. EUSFLAT Conf. (1) 2007: 21-21

Petr Hájek: What is mathematical fuzzy logic. Fuzzy Sets and Systems 157(5): 597-603 (2006)

Petr Hájek: Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Fuzzy Sets and Systems 157(5): 677-682 (2006)

Petr Cintula, Petr Hájek: On theories and models in fuzzy predicate logics. J. Symb. Log. 71(3): 863-880 (2006)

Petr Hájek: Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa. Studia Logica 84(1): 51-62 (2006)

Petr Hájek: On Fuzzy Theories with Crisp Sentences. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 194-200

Petr Hájek: On arithmetic in the Cantor- Lukasiewicz fuzzy set theory. Arch. Math. Log. 44(6): 763-782 (2005)

Petr Hájek: Making fuzzy description logic more general. Fuzzy Sets and Systems 154(1): 1-15 (2005)

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 and Systems 156(3): 485-491 (2005)

Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek: Editorial. Logic Journal of the IGPL 13(4): 363 (2005)

Petr Hájek: A non-arithmetical Gödel logic. Logic Journal of the IGPL 13(4): 435-441 (2005)

Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek: Editorial. Logic Journal of the IGPL 13(5): 491 (2005)

Petr Hájek: Arithmetical complexity of fuzzy predicate logics - a survey. Soft Comput. 9(12): 935-941 (2005)

Petr Hájek: Logics for Data Mining. The Data Mining and Knowledge Discovery Handbook 2005: 589-602

Siegfried Gottwald, Petr Hájek: Editorial. Fuzzy Sets and Systems 143(1): 1-3 (2004)

Petr Hájek: A True Unprovable Formula of Fuzzy Predicate Logic. Logic versus Approximation 2004: 1-5

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

Lluis Godo, Petr Hájek, Francesc Esteva: A Fuzzy Modal Logic for Belief Functions. Fundam. Inform. 57(2-4): 127-146 (2003)

Petr Hájek: Fuzzy Logics with Noncommutative Conjuctions. J. Log. Comput. 13(4): 469-479 (2003)

Francesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna: Hoops and Fuzzy Logic. J. Log. Comput. 13(4): 532-555 (2003)

Petr Hájek: Basic fuzzy logic and BL-algebras II. Soft Comput. 7(3): 179-183 (2003)

Petr Hájek: Observations on non-commutative fuzzy logic. Soft Comput. 8(1): 38-43 (2003)

Petr Hájek, Martin Holena: Formal logics of discovery and hypothesis formation by machine. Theor. Comput. Sci. 292(2): 345-357 (2003)

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

Petr Hájek: Relations and GUHA-Style Data Mining II. RelMiCS 2003: 163-170

Petr Hájek: Fleas and fuzzy logic: a survey. EUSFLAT Conf. 2003: 599-603

Petr Hájek: On generalized quantifiers, finite sets and data mining. IIS 2003: 489-496

Petr Hájek: Observations on the monoidal t-norm logic. Fuzzy Sets and Systems 132(1): 107-112 (2002)

Josep Maria Font, Petr Hájek: On Lukasiewicz's Four-Valued Modal Logic. Studia Logica 70(2): 157-182 (2002)

Petr Hájek: A New Small Emendation of Gödel's Ontological Proof. Studia Logica 71(2): 149-164 (2002)

Petr Hájek: Monadic Fuzzy Predicate Logics. Studia Logica 71(2): 165-175 (2002)

Petr Hájek, John C. Shepherdson: A note on the notion of truth in fuzzy logic. Ann. Pure Appl. Logic 109(1-2): 65-69 (2001)

Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith: Complexity of t-tautologies. Ann. Pure Appl. Logic 113(1-3): 3-11 (2001)

Petr Hájek, Lluis Godo, Siegfried Gottwald: Editorial. Fuzzy Sets and Systems 124(3): 269-270 (2001)

Petr Hájek: On very true. Fuzzy Sets and Systems 124(3): 329-333 (2001)

Petr Hájek, Sauro Tulipani: Complexity of Fuzzy Probability Logics. Fundam. Inform. 45(3): 207-213 (2001)

Petr Hájek: Fuzzy Logic and Arithmetical Hierarchy III. Studia Logica 68(1): 129-142 (2001)

Petr Hájek: Relations in GUHA Style Data Mining. RelMiCS 2001: 81-87

Lluis Godo, Petr Hájek, Francesc Esteva: A Fuzzy Modal Logic for Belief Functions. IJCAI 2001: 723-732

Petr Hájek, Zuzana Haniková: A Set Theory within Fuzzy Logic. ISMVL 2001: 319-323

Francesc Esteva, Lluis Godo, Petr Hájek, Mirko Navara: Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39(2): 103-124 (2000)

Petr Hájek, Dagmar Harmancová: A Hedge for Gödel Fuzzy Logic. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8(4): 495-498 (2000)

Didier Dubois, Petr Hájek, Henri Prade: Knowledge-Driven versus Data-Driven Logics. Journal of Logic, Language and Information 9(1): 65-89 (2000)

Petr Hájek, Jeff B. Paris, John C. Shepherdson: The Liar Paradox and Fuzzy Logic. J. Symb. Log. 65(1): 339-346 (2000)

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)

Petr Hájek: Ten Questions and One Problem on Fuzzy Logic. Ann. Pure Appl. Logic 96(1-3): 157-165 (1999)

Lluis Godo, Petr Hájek: Fuzzy inference as deduction. Journal of Applied Non-Classical Logics 9(1): 37-60 (1999)

Petr Hájek, Jan Rauch: Logics and Statistics for Association Rules and Beyond Abstract of Tutorial. PKDD 1999: 586-587

Matthias Baaz, Petr Hájek, David Svejda, Jan Krajícek: Embedding Logics into Product Logic. Studia Logica 61(1): 35-47 (1998)

Petr Hájek: Ten claims about fuzzy logic. Soft Comput. 2(1): 14-15 (1998)

Petr Hájek: Basic fuzzy logic and BL-algebras. Soft Comput. 2(3): 124-128 (1998)

Petr Hájek: Trakhtenbrot Theorem and Fuzzy Logic. CSL 1998: 1-8

Petr Hájek, Martin Holena: Formal Logics of Discovery and Hypothesis Formation by Machine. Discovery Science 1998: 291-302

Milan Daniel, Petr Hájek, Phuong Hoang Nguyen: CADIAG-2 and MYCIN-like systems. Artificial Intelligence in Medicine 9(3): 241-259 (1997)

Petr Hájek: Fuzzy Logic and Arithmetical Hierarchy, II. Studia Logica 58(1): 129-141 (1997)

Petr Hájek, Jeff B. Paris: A dialogue on fuzzy logic. Soft Comput. 1(1): 3-5 (1997)

Petr Hájek, Lluis Godo, Francesc Esteva: A complete many-valued logic with product-conjunction. Arch. Math. Log. 35(3): 191-208 (1996)

Petr Hájek, Dagmar Harmancová, Rineke Verbrugge: A qualitative fuzzy possibilistic logic. Int. J. Approx. Reasoning 12(1): 1-19 (1995)

Petr Hájek, Dagmar Harmancová: Medical Fuzz;y Expert Systems and Reasoning about Beliefs. AIME 1995: 403-404

Petr Hájek: Fuzzy Logic From The Logical Point of View. SOFSEM 1995: 31-49

Petr Hájek, Lluis Godo, Francesc Esteva: Fuzzy logic and probability. UAI 1995: 237-244

Jirí Wiedermann, Petr Hájek (Eds.): 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

Petr Hájek, Richard Zach: Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations. Journal of Applied Non-Classical Logics 4(2): 215-220 (1994)

Petr Hájek: Possibilistic Logic as Interpretability Logic. IPMU 1994: 273-280

Petr Hájek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluis Godo: On Modal Logics for Qualitative Possibility in a Fuzzy Setting. UAI 1994: 278-285

Petr Hájek: Epistemic Entrenchment and Arithmetical Hierarchy. Artif. Intell. 62(1): 79-87 (1993)

Petr Hájek: Epistemic Entrenchment and Arthmetical Hierarchy (Abstract). Kurt Gödel Colloquium 1993: 41-42

Petr Hájek, Dagmar Harmancová: A Comparative Fuzzy Modal Logic. FLAI 1993: 27-34

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

Petr Hájek, David Harmanec: On Belief Functions. Advanced Topics in Artificial Intelligence 1992: 286-307

Petr Hájek: On Logics of Approximate Reasoning. Logic at Work 1992: 17-29

Petr Hájek, Antonín Kucera: On Recursion Theory in I Sigma₁. J. Symb. Log. 54(2): 576-589 (1989)

Petr Hájek: Combining Functions for Certainty Degrees in Consulting Systems. International Journal of Man-Machine Studies 22(1): 59-76 (1985)

Petr Hájek: Arithmetical Interpretations of Dynamic Logic. J. Symb. Log. 48(3): 704-713 (1983)

Petr Hájek: Applying Artificial Intelligence to Data Analysis. ECAI 1982: 149-150

Petr Hájek, P. Kurka: A second-order dynamic logic with array assignments. Fundam. Inform. 4(4): 919-934 (1981)

Petr Hájek: Introduction. International Journal of Man-Machine Studies 15(3): 251 (1981)

Petr Hájek: Decision Problems of Some Statistically Motivated Monadic Modal Calculi. International Journal of Man-Machine Studies 15(3): 351-358 (1981)

Petr Hájek: Making Dynamic Logic First-Order. MFCS 1981: 287-295

Petr Hájek: Arithmetical Hierarchy and Complexity of Computation. Theor. Comput. Sci. 8: 227-237 (1979)

Petr Hájek, Tomás Havránek: On Generation of Inductive Hypotheses. International Journal of Man-Machine Studies 9(4): 415-438 (1977)

Petr Hájek: Experimental Logics and pi⁰₃ Theories. J. Symb. Log. 42(4): 515-522 (1977)

Petr Hájek: Arithmetical Complexity of Some Problems in Computer Science. MFCS 1977: 282-287

Petr Hájek: Observationsfunktorenkalküle und die Logik der automatisierten Forschung. Elektronische Informationsverarbeitung und Kybernetik 12(4/5): 181-186 (1976)

Petr Hájek: On Logics of Discovery. MFCS 1975: 30-45

Petr Hájek: Some Logical Problems of Automated Research. MFCS 1973: 85-93

Petr Hájek, I. Havel, Michal Chytil: The GUHA method of automatic hypotheses determination. Computing 1(4): 293-308 (1966)