The GUHA method of automatic hypotheses determination. - Petr Hájek 001; Ivan Havel; Metodej K. Chytil (Computing, 1966)

GUHA - the method of systematical hypotheses searching. - Petr Hájek 001; Ivan Havel; Metodej K. Chytil (Kybernetika, 1966)

The GUHA method of systematical hypotheses searching. II. - Petr Hájek 001; Ivan Havel; Metodej K. Chytil (Kybernetika, 1967)

The problem of a general conception of the GUHA method. - Petr Hájek 001 (Kybernetika, 1968)

The GUHA method and the three-valued logic. - Petr Hájek 001; Kamila Bendová; Zdenek Renc (Kybernetika, 1971)

Some Logical Problems of Automated Research. - Petr Hájek 001 (MFCS, 1973)

Automatic listing of important observational statements. I. - Petr Hájek 001 (Kybernetika, 1973)

Automatic listing of important observational statements. II. - Petr Hájek 001 (Kybernetika, 1973)

On generalized credence functions. - Petr Hájek 001; Dagmar Harmancová (Kybernetika, 1973)

Automatic listing of important observational statements. III. - Petr Hájek 001 (Kybernetika, 1974)

On Logics of Discovery. - Petr Hájek 001 (MFCS, 1975)

Observationsfunktorenkalküle und die Logik der automatisierten Forschung. - Petr Hájek 001 (J. Inf. Process. Cybern., 1975)

Arithmetical Complexity of Some Problems in Computer Science. - Petr Hájek 001 (MFCS, 1977)

On Generation of Inductive Hypotheses. - Petr Hájek 001; Tomás Havránek (Int. J. Man Mach. Stud., 1977)

Experimental Logics and pi03 Theories. - Petr Hájek 001 (J. Symb. Log., 1977)

On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75). - Bohuslav Balcar; Petr Hájek 001 (Math. Log. Q., 1978)

Arithmetical Hierarchy and Complexity of Computation. - Petr Hájek 001 (Theor. Comput. Sci., 1979)

On dynamic logic. - Petr Hájek 001; Pavel Kalásek; Petr Kurka (Kybernetika, 1980)

Making Dynamic Logic First-Order. - Petr Hájek 001 (MFCS, 1981)

A second-order dynamic logic with array assignments. - Petr Hájek 001; Petr Kurka (Fundam. Informaticae, 1981)

Introduction. - Petr Hájek 001 (Int. J. Man Mach. Stud., 1981)

Decision Problems of Some Statistically Motivated Monadic Modal Calculi. - Petr Hájek 001 (Int. J. Man Mach. Stud., 1981)

Applying Artificial Intelligence to Data Analysis. - Petr Hájek 001 (ECAI, 1982)

Arithmetical Interpretations of Dynamic Logic. - Petr Hájek 001 (J. Symb. Log., 1983)

Combining Functions for Certainty Degrees in Consulting Systems. - Petr Hájek 001 (Int. J. Man Mach. Stud., 1985)

A simple dynamic logic. - Petr Hájek 001 (Theor. Comput. Sci., 1986)

Combinatorial principles concerning approximations of functions. - Petr Hájek 001; Jeff B. Paris (Arch. Math. Log., 1987)

On Recursion Theory in I Sigma1. - Petr Hájek 001; Antonín Kucera 002 (J. Symb. Log., 1989)

The expert system shell EQUANT-PC: brief information. - Petr Hájek 001; Marie Hájková; Tomás Havránek; Milan Daniel (Kybernetika, 1989)

On some formalized conservation results in arithmetic. - Peter Clote; Petr Hájek 001; Jeff B. Paris (Arch. Math. Log., 1990)

The logic of π1-conservativity. - Petr Hájek 001; Franco Montagna (Arch. Math. Log., 1990)

A note on the normal form of closed formulas of interpretability logic. - Petr Hájek 001; Vítezslav Svejdar (Stud Logica, 1991)

Uncertain information processing in expert systems. - Petr Hájek 001; Tomás Havránek; Radim Jirousek (CRC Press, 1992)

On Belief Functions. - Petr Hájek 001; David Harmanec (Advanced Topics in Artificial Intelligence, 1992)

On Logics of Approximate Reasoning. - Petr Hájek 001 (Logic at Work, 1992)

The logic ofII1-conservativity continued. - Petr Hájek 001; Franco Montagna (Arch. Math. Log., 1992)

Metamathematics of First-Order Arithmetic. - Petr Hájek 001; Pavel Pudlák (Springer, 1993)

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

A Comparative Fuzzy Modal Logic. - Petr Hájek 001; Dagmar Harmancová (FLAI, 1993)

Epistemic Entrenchment and Arithmetical Hierarchy. - Petr Hájek 001 (Artif. Intell., 1993)

Possibilistic Logic as Interpretability Logic. - Petr Hájek 001 (IPMU, 1994)

On Modal Logics for Qualitative Possibility in a Fuzzy Setting. - Petr Hájek 001; Dagmar Harmancová; Francesc Esteva; Pere Garcia; Lluís Godo (UAI, 1994)

A Qualitative Belief Logic. - David Harmanec; Petr Hájek 001 (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1994)

Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations. - Petr Hájek 001; Richard Zach (J. Appl. Non Class. Logics, 1994)

Medical Fuzz;y Expert Systems and Reasoning about Beliefs. - Petr Hájek 001; Dagmar Harmancová (AIME, 1995)

Fuzzy Logic From The Logical Point of View. - Petr Hájek 001 (SOFSEM, 1995)

Fuzzy logic and probability. - Petr Hájek 001; Lluís Godo; Francesc Esteva (UAI, 1995)

A qualitative fuzzy possibilistic logic. - Petr Hájek 001; Dagmar Harmancová; Rineke Verbrugge (Int. J. Approx. Reason., 1995)

A complete many-valued logic with product-conjunction. - Petr Hájek 001; Lluís Godo; Francesc Esteva (Arch. Math. Log., 1996)

The Prague seminar of applied mathematical logic and its work on fuzzy logic. - Petr Hájek 001; Dagmar Harmancová (Fuzzy Sets Syst., 1996)

Fuzzy Implications and generalized Quantifiers. - Petr Hájek 001; Ladislav J. Kohout (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1996)

CADIAG-2 and MYCIN-like systems. - Milan Daniel; Petr Hájek 001; Phuong Hoang Nguyen (Artif. Intell. Medicine, 1997)

Fuzzy Logic and Arithmetical Hierarchy, II. - Petr Hájek 001 (Stud Logica, 1997)

A dialogue on fuzzy logic. - Petr Hájek 001; Jeff B. Paris (Soft Comput., 1997)

Metamathematics of Fuzzy Logic - Petr Hájek 001 (Kluwer, 1998)

Trakhtenbrot Theorem and Fuzzy Logic. - Petr Hájek 001 (CSL, 1998)

Embedding Logics into Product Logic. - Matthias Baaz; Petr Hájek 001; David Svejda; Jan Krajícek (Stud Logica, 1998)

Ten claims about fuzzy logic. - Petr Hájek 001 (Soft Comput., 1998)

Basic fuzzy logic and BL-algebras. - Petr Hájek 001 (Soft Comput., 1998)

Logics and Statistics for Association Rules and Beyond Abstract of Tutorial. - Petr Hájek 001; Jan Rauch (PKDD, 1999)

Ten Questions and One Problem on Fuzzy Logic. - Petr Hájek 001 (Ann. Pure Appl. Log., 1999)

Fuzzy inference as deduction. - Lluís Godo; Petr Hájek 001 (J. Appl. Non Class. Logics, 1999)

Residuated fuzzy logics with an involutive negation. - Francesc Esteva; Lluís Godo; Petr Hájek 001; Mirko Navara (Arch. Math. Log., 2000)

A Hedge for Gödel Fuzzy Logic. - Petr Hájek 001; Dagmar Harmancová (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000)

Knowledge-Driven versus Data-Driven Logics. - Didier Dubois; Petr Hájek 001; Henri Prade (J. Log. Lang. Inf., 2000)

The Liar Paradox and Fuzzy Logic. - Petr Hájek 001; Jeff B. Paris; John C. Shepherdson (J. Symb. Log., 2000)

Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic. - Petr Hájek 001; Jeff B. Paris; John C. Shepherdson (J. Symb. Log., 2000)

Relations in GUHA Style Data Mining. - Petr Hájek 001 (RelMiCS, 2001)

A Set Theory within Fuzzy Logic. - Petr Hájek 001; Zuzana Haniková (ISMVL, 2001)

Complexity of t-tautologies. - Matthias Baaz; Petr Hájek 001; Franco Montagna; Helmut Veith (Ann. Pure Appl. Log., 2001)

A note on the notion of truth in fuzzy logic. - Petr Hájek 001; John C. Shepherdson (Ann. Pure Appl. Log., 2001)

On very true. - Petr Hájek 001 (Fuzzy Sets Syst., 2001)

Editorial. - Petr Hájek 001; Lluís Godo; Siegfried Gottwald (Fuzzy Sets Syst., 2001)

Complexity of Fuzzy Probability Logics. - Petr Hájek 001; Sauro Tulipani (Fundam. Informaticae, 2001)

Fuzzy Logic and Arithmetical Hierarchy III. - Petr Hájek 001 (Stud Logica, 2001)

Observations on the monoidal t-norm logic. - Petr Hájek 001 (Fuzzy Sets Syst., 2002)

On Lukasiewicz's Four-Valued Modal Logic. - Josep Maria Font; Petr Hájek 001 (Stud Logica, 2002)

A New Small Emendation of Gödel's Ontological Proof. - Petr Hájek 001 (Stud Logica, 2002)

Monadic Fuzzy Predicate Logics. - Petr Hájek 001 (Stud Logica, 2002)

Relations and GUHA-Style Data Mining II. - Petr Hájek 001 (RelMiCS, 2003)

The GUHA Method and Foundations of (Relational) Data Mining. - Petr Hájek 001; Martin Holena; Jan Rauch (Theory and Applications of Relational Structures as Knowledge Instruments, 2003)

Fleas and fuzzy logic: a survey. - Petr Hájek 001 (EUSFLAT Conf., 2003)

On generalized quantifiers, finite sets and data mining. - Petr Hájek 001 (IIS, 2003)

A Fuzzy Modal Logic for Belief Functions. - Lluís Godo; Petr Hájek 001; Francesc Esteva (Fundam. Informaticae, 2003)

The sorites paradox and fuzzy logic. - Petr Hájek 001; Vilém Novák (Int. J. Gen. Syst., 2003)

Hoops and Fuzzy Logic. - Francesc Esteva; Lluís Godo; Petr Hájek 001; Franco Montagna (J. Log. Comput., 2003)

Fuzzy Logics with Noncommutative Conjuctions. - Petr Hájek 001 (J. Log. Comput., 2003)

Basic fuzzy logic and BL-algebras II. - Petr Hájek 001 (Soft Comput., 2003)

Observations on non-commutative fuzzy logic. - Petr Hájek 001 (Soft Comput., 2003)

Formal logics of discovery and hypothesis formation by machine. - Petr Hájek 001; Martin Holena (Theor. Comput. Sci., 2003)

A True Unprovable Formula of Fuzzy Predicate Logic. - Petr Hájek 001 (Logic versus Approximation, 2004)

The GUHA Method, Data Preprocessing and Mining. - Petr Hájek 001; Jan Rauch; David Coufal; Thomas Feglar (Database Support for Data Mining Applications, 2004)

Editorial. - Siegfried Gottwald; Petr Hájek 001 (Fuzzy Sets Syst., 2004)

Logics for Data Mining. - Petr Hájek 001 (The Data Mining and Knowledge Discovery Handbook, 2005)

On arithmetic in the Cantor- Lukasiewicz fuzzy set theory. - Petr Hájek 001 (Arch. Math. Log., 2005)

Terminological difficulties in fuzzy set theory - The case of "Intuitionistic Fuzzy Sets". - Didier Dubois; Siegfried Gottwald; Petr Hájek 001; Janusz Kacprzyk; Henri Prade (Fuzzy Sets Syst., 2005)

Making fuzzy description logic more general. - Petr Hájek 001 (Fuzzy Sets Syst., 2005)

Editorial. - Matthias Baaz; Agata Ciabattoni; Dov M. Gabbay; Petr Hájek 001 (Log. J. IGPL, 2005)

A non-arithmetical Gödel logic. - Petr Hájek 001 (Log. J. IGPL, 2005)

Fleas and Fuzzy Logic. - Petr Hájek 001 (J. Multiple Valued Log. Soft Comput., 2005)

Arithmetical complexity of fuzzy predicate logics - a survey. - Petr Hájek 001 (Soft Comput., 2005)

What does mathematical fuzzy logic offer to description logic? - Petr Hájek 001 (Fuzzy Logic and the Semantic Web, 2006)

On Fuzzy Theories with Crisp Sentences. - Petr Hájek 001 (Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006)

What is mathematical fuzzy logic. - Petr Hájek 001 (Fuzzy Sets Syst., 2006)

Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. - Petr Hájek 001 (Fuzzy Sets Syst., 2006)

On theories and models in fuzzy predicate logics. - Petr Cintula; Petr Hájek 001 (J. Symb. Log., 2006)

Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa. - Petr Hájek 001 (Stud Logica, 2006)

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

Formal systems of fuzzy logic and their fragments. - Petr Cintula; Petr Hájek 001; Rostislav Horcík (Ann. Pure Appl. Log., 2007)

Complexity of fuzzy probability logics II. - Petr Hájek 001 (Fuzzy Sets Syst., 2007)

Selected papers from the International Conference "The Logic of Soft Computing IV" and Fourth workshop of the ERCIM working group on soft computing. - Vilém Novák; Siegfried Gottwald; Petr Hájek 001 (Fuzzy Sets Syst., 2007)

Mathematical Fuzzy Logic and Natural Numbers. - Petr Hájek 001 (Fundam. Informaticae, 2007)

On witnessed models in fuzzy logic. - Petr Hájek 001 (Math. Log. Q., 2007)

On witnessed models in fuzzy logic II. - Petr Hájek 001 (Math. Log. Q., 2007)

Editorial. - Manuel Ojeda-Aciego; Siegfried Gottwald; Petr Hájek 001 (Fuzzy Sets Syst., 2008)

A note on the first-order logic of complete BL-chains. - Petr Hájek 001; Franco Montagna (Math. Log. Q., 2008)

Ontological Proofs of Existence and Non-Existence. - Petr Hájek 001 (Stud Logica, 2008)

On arithmetical complexity of fragments of prominent fuzzy predicate logics. - Petr Hájek 001 (Soft Comput., 2008)

On copulas, quasicopulas and fuzzy logic. - Petr Hájek 001; Radko Mesiar (Soft Comput., 2008)

Arithmetical complexity of fuzzy predicate logics - A survey II. - Petr Hájek 001 (Ann. Pure Appl. Log., 2009)

Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. - Petr Cintula; Petr Hájek 001 (J. Log. Comput., 2009)

On Vagueness, Truth Values and Fuzzy Logics. - Petr Hájek 001 (Stud Logica, 2009)

Triangular norm based predicate fuzzy logics. - Petr Cintula; Petr Hájek 001 (Fuzzy Sets Syst., 2010)

Editorial. - Siegfried Gottwald; Petr Hájek 001; Ulrich Höhle; Erich-Peter Klement (Fuzzy Sets Syst., 2010)

On fuzzy modal logics S5(L). - Petr Hájek 001 (Fuzzy Sets Syst., 2010)

The GUHA method and its meaning for data mining. - Petr Hájek 001; Martin Holena; Jan Rauch (J. Comput. Syst. Sci., 2010)

On White's Expansion of Lukasiewicz Logic. - Petr Hájek 001 (J. Log. Comput., 2010)

On witnessed models in fuzzy logic III - witnessed Gödel logics. - Petr Hájek 001 (Math. Log. Q., 2010)

Some (non)tautologies of łukasiewicz and Product Logic. - Petr Hájek 001 (Rev. Symb. Log., 2010)

Logics for Data Mining. - Petr Hájek 001 (Data Mining and Knowledge Discovery Handbook, 2010)

Deductive Systems of Fuzzy Logic. - Petr Hájek 001 (Proof, Computation and Agency, 2011)

Towards metamathematics of weak arithmetics over fuzzy logic. - Petr Hájek 001 (Log. J. IGPL, 2011)

Comments on Interpretability and Decidability in Fuzzy Logic. - Petr Hájek 001 (J. Log. Comput., 2011)

On equality and natural numbers in Cantor-Łukasiewicz set theory. - Petr Hájek 001 (Log. J. IGPL, 2013)

Some remarks on Cantor-Łukasiewicz fuzzy set theory. - Petr Hájek 001 (Log. J. IGPL, 2013)

Interpreting lattice-valued set theory in fuzzy set theory. - Petr Hájek 001; Zuzana Haniková (Log. J. IGPL, 2013)

How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem? - Guillermo Badia; Petr Cintula; Petr Hájek 001; Andrew Tedder (Rev. Symb. Log., 2022)