Petr Hájek

144 papers A* 1A 3B 9C 1Journal 108Unranked 13
YearRankTypeTitle / Venue / Authors
2022 J jnl
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?
Rev. Symb. Log.
Guillermo Badia, Petr Cintula, Petr Hájek, Andrew Tedder
2013 J jnl
Fuzzy Logic and Probability
CoRR
Petr Hájek, Lluís Godo, Francesc Esteva
2013 J jnl
Interpreting lattice-valued set theory in fuzzy set theory.
Log. J. IGPL
Petr Hájek, Zuzana Haniková
2013 J jnl
On Modal Logics for Qualitative Possibility in a Fuzzy Setting
CoRR
Petr Hájek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluís Godo
2013 J jnl
On equality and natural numbers in Cantor-Łukasiewicz set theory.
Log. J. IGPL
Petr Hájek
2013 J jnl
Some remarks on Cantor-Łukasiewicz fuzzy set theory.
Log. J. IGPL
Petr Hájek
2011 J jnl
Comments on Interpretability and Decidability in Fuzzy Logic.
J. Log. Comput.
Petr Hájek
2011 — ch.
Deductive Systems of Fuzzy Logic.
Proof, Computation and Agency
Petr Hájek
2011 J jnl
Towards metamathematics of weak arithmetics over fuzzy logic.
Log. J. IGPL
Petr Hájek
2010 J jnl
Editorial.
Fuzzy Sets Syst.
Siegfried Gottwald, Petr Hájek, Ulrich Höhle, Erich-Peter Klement
2010 — ch.
Logics for Data Mining.
Data Mining and Knowledge Discovery Handbook
Petr Hájek
2010 J jnl
On White's Expansion of Lukasiewicz Logic.
J. Log. Comput.
Petr Hájek
2010 J jnl
On fuzzy modal logics S5(L).
Fuzzy Sets Syst.
Petr Hájek
2010 J jnl
On witnessed models in fuzzy logic III - witnessed Gödel logics.
Math. Log. Q.
Petr Hájek
2010 J jnl
Some (non)tautologies of łukasiewicz and Product Logic.
Rev. Symb. Log.
Petr Hájek
2010 J jnl
The GUHA method and its meaning for data mining.
J. Comput. Syst. Sci.
Petr Hájek, Martin Holena, Jan Rauch
2010 J jnl
Triangular norm based predicate fuzzy logics.
Fuzzy Sets Syst.
Petr Cintula, Petr Hájek
2009 J jnl
Arithmetical complexity of fuzzy predicate logics - A survey II.
Ann. Pure Appl. Log.
Petr Hájek
2009 J jnl
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic.
J. Log. Comput.
Petr Cintula, Petr Hájek
2009 J jnl
On Vagueness, Truth Values and Fuzzy Logics.
Stud Logica
Petr Hájek
2008 J jnl
A note on the first-order logic of complete BL-chains.
Math. Log. Q.
Petr Hájek, Franco Montagna
2008 J jnl
Editorial.
Fuzzy Sets Syst.
Manuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek
2008 J jnl
On arithmetical complexity of fragments of prominent fuzzy predicate logics.
Soft Comput.
Petr Hájek
2008 J jnl
On copulas, quasicopulas and fuzzy logic.
Soft Comput.
Petr Hájek, Radko Mesiar
2008 J jnl
Ontological Proofs of Existence and Non-Existence.
Stud Logica
Petr Hájek
2007 J jnl
Complexity of fuzzy probability logics II.
Fuzzy Sets Syst.
Petr Hájek
2007 J jnl
Formal systems of fuzzy logic and their fragments.
Ann. Pure Appl. Log.
Petr Cintula, Petr Hájek, Rostislav Horcík
2007 — conf
Mathematical Fuzzy Logic - a Survey and Some News.
EUSFLAT Conf. (1)
Petr Hájek
2007 J jnl
Mathematical Fuzzy Logic and Natural Numbers.
Fundam. Informaticae
Petr Hájek
2007 J jnl
On witnessed models in fuzzy logic II.
Math. Log. Q.
Petr Hájek
2007 J jnl
On witnessed models in fuzzy logic.
Math. Log. Q.
Petr Hájek
2007 J jnl
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.
Vilém Novák, Siegfried Gottwald, Petr Hájek
2006 J jnl
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants.
Fuzzy Sets Syst.
Petr Hájek
2006 J jnl
Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa.
Stud Logica
Petr Hájek
2006 — conf
On Fuzzy Theories with Crisp Sentences.
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Petr Hájek
2006 J jnl
On theories and models in fuzzy predicate logics.
J. Symb. Log.
Petr Cintula, Petr Hájek
2006 — ch.
What does mathematical fuzzy logic offer to description logic?
Fuzzy Logic and the Semantic Web
Petr Hájek
2006 J jnl
What is mathematical fuzzy logic.
Fuzzy Sets Syst.
Petr Hájek
2005 J jnl
A non-arithmetical Gödel logic.
Log. J. IGPL
Petr Hájek
2005 J jnl
Arithmetical complexity of fuzzy predicate logics - a survey.
Soft Comput.
Petr Hájek
2005 J jnl
Editorial.
Log. J. IGPL
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
2005 J jnl
Editorial.
Log. J. IGPL
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
2005 J jnl
Fleas and Fuzzy Logic.
J. Multiple Valued Log. Soft Comput.
Petr Hájek
2005 — ch.
Logics for Data Mining.
The Data Mining and Knowledge Discovery Handbook
Petr Hájek
2005 J jnl
Making fuzzy description logic more general.
Fuzzy Sets Syst.
Petr Hájek
2005 J jnl
On arithmetic in the Cantor- Lukasiewicz fuzzy set theory.
Arch. Math. Log.
Petr Hájek
2005 J jnl
Terminological difficulties in fuzzy set theory - The case of "Intuitionistic Fuzzy Sets".
Fuzzy Sets Syst.
Didier Dubois, Siegfried Gottwald, Petr Hájek, Janusz Kacprzyk, Henri Prade
2004 — conf
A True Unprovable Formula of Fuzzy Predicate Logic.
Logic versus Approximation
Petr Hájek
2004 J jnl
Editorial.
Fuzzy Sets Syst.
Siegfried Gottwald, Petr Hájek
2004 — ch.
The GUHA Method, Data Preprocessing and Mining.
Database Support for Data Mining Applications
Petr Hájek, Jan Rauch, David Coufal, Thomas Feglar
2003 J jnl
A Fuzzy Modal Logic for Belief Functions.
Fundam. Informaticae
Lluís Godo, Petr Hájek, Francesc Esteva
2003 J jnl
Basic fuzzy logic and BL-algebras II.
Soft Comput.
Petr Hájek
2003 — conf
Fleas and fuzzy logic: a survey.
EUSFLAT Conf.
Petr Hájek
2003 J jnl
Formal logics of discovery and hypothesis formation by machine.
Theor. Comput. Sci.
Petr Hájek, Martin Holena
2003 J jnl
Fuzzy Logics with Noncommutative Conjuctions.
J. Log. Comput.
Petr Hájek
2003 J jnl
Hoops and Fuzzy Logic.
J. Log. Comput.
Francesc Esteva, Lluís Godo, Petr Hájek, Franco Montagna
2003 J jnl
Observations on non-commutative fuzzy logic.
Soft Comput.
Petr Hájek
2003 — conf
On generalized quantifiers, finite sets and data mining.
IIS
Petr Hájek
2003 — conf
Relations and GUHA-Style Data Mining II.
RelMiCS
Petr Hájek
2003 — ch.
The GUHA Method and Foundations of (Relational) Data Mining.
Theory and Applications of Relational Structures as Knowledge Instruments
Petr Hájek, Martin Holena, Jan Rauch
2003 J jnl
The sorites paradox and fuzzy logic.
Int. J. Gen. Syst.
Petr Hájek, Vilém Novák
2002 J jnl
A New Small Emendation of Gödel's Ontological Proof.
Stud Logica
Petr Hájek
2002 J jnl
Monadic Fuzzy Predicate Logics.
Stud Logica
Petr Hájek
2002 J jnl
Observations on the monoidal t-norm logic.
Fuzzy Sets Syst.
Petr Hájek
2002 J jnl
On Lukasiewicz's Four-Valued Modal Logic.
Stud Logica
Josep Maria Font, Petr Hájek
2001 A* conf
A Fuzzy Modal Logic for Belief Functions.
IJCAI
Lluís Godo, Petr Hájek, Francesc Esteva
2001 — conf
A Set Theory within Fuzzy Logic.
ISMVL
Petr Hájek, Zuzana Haniková
2001 J jnl
A note on the notion of truth in fuzzy logic.
Ann. Pure Appl. Log.
Petr Hájek, John C. Shepherdson
2001 J jnl
Complexity of Fuzzy Probability Logics.
Fundam. Informaticae
Petr Hájek, Sauro Tulipani
2001 J jnl
Complexity of t-tautologies.
Ann. Pure Appl. Log.
Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith
2001 J jnl
Editorial.
Fuzzy Sets Syst.
Petr Hájek, Lluís Godo, Siegfried Gottwald
2001 J jnl
Fuzzy Logic and Arithmetical Hierarchy III.
Stud Logica
Petr Hájek
2001 J jnl
On very true.
Fuzzy Sets Syst.
Petr Hájek
2001 — conf
Relations in GUHA Style Data Mining.
RelMiCS
Petr Hájek
2000 J jnl
A Hedge for Gödel Fuzzy Logic.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Petr Hájek, Dagmar Harmancová
2000 J jnl
Knowledge-Driven versus Data-Driven Logics.
J. Log. Lang. Inf.
Didier Dubois, Petr Hájek, Henri Prade
2000 J jnl
Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic.
J. Symb. Log.
Petr Hájek, Jeff B. Paris, John C. Shepherdson
2000 J jnl
Residuated fuzzy logics with an involutive negation.
Arch. Math. Log.
Francesc Esteva, Lluís Godo, Petr Hájek, Mirko Navara
2000 J jnl
The Liar Paradox and Fuzzy Logic.
J. Symb. Log.
Petr Hájek, Jeff B. Paris, John C. Shepherdson
1999 J jnl
Fuzzy inference as deduction.
J. Appl. Non Class. Logics
Lluís Godo, Petr Hájek
1999 — conf
Logics and Statistics for Association Rules and Beyond Abstract of Tutorial.
PKDD
Petr Hájek, Jan Rauch
1999 J jnl
Ten Questions and One Problem on Fuzzy Logic.
Ann. Pure Appl. Log.
Petr Hájek
1998 J jnl
Basic fuzzy logic and BL-algebras.
Soft Comput.
Petr Hájek
1998 J jnl
Embedding Logics into Product Logic.
Stud Logica
Matthias Baaz, Petr Hájek, David Svejda, Jan Krajícek
1998 B conf
Formal Logics of Discovery and Hypothesis Formation by Machine.
Discovery Science
Petr Hájek, Martin Holena
1998 — book
Metamathematics of Fuzzy Logic
Petr Hájek
1998 J jnl
Ten claims about fuzzy logic.
Soft Comput.
Petr Hájek
1998 B conf
Trakhtenbrot Theorem and Fuzzy Logic.
CSL
Petr Hájek
1997 J jnl
A dialogue on fuzzy logic.
Soft Comput.
Petr Hájek, Jeff B. Paris
1997 J jnl
CADIAG-2 and MYCIN-like systems.
Artif. Intell. Medicine
Milan Daniel, Petr Hájek, Phuong Hoang Nguyen
1997 J jnl
Fuzzy Logic and Arithmetical Hierarchy, II.
Stud Logica
Petr Hájek
1996 J jnl
A complete many-valued logic with product-conjunction.
Arch. Math. Log.
Petr Hájek, Lluís Godo, Francesc Esteva
1996 J jnl
Fuzzy Implications and generalized Quantifiers.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Petr Hájek, Ladislav J. Kohout
1996 J jnl
The Prague seminar of applied mathematical logic and its work on fuzzy logic.
Fuzzy Sets Syst.
Petr Hájek, Dagmar Harmancová
1995 J jnl
A qualitative fuzzy possibilistic logic.
Int. J. Approx. Reason.
Petr Hájek, Dagmar Harmancová, Rineke Verbrugge
1995 B conf
Fuzzy Logic From The Logical Point of View.
SOFSEM
Petr Hájek
1995 A conf
Fuzzy logic and probability.
UAI
Petr Hájek, Lluís Godo, Francesc Esteva
1995 B ed.
Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings
MFCS
Jirí Wiedermann, Petr Hájek
1995 B conf
Medical Fuzz;y Expert Systems and Reasoning about Beliefs.
AIME
Petr Hájek, Dagmar Harmancová
1994 J jnl
A Qualitative Belief Logic.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
David Harmanec, Petr Hájek
1994 A conf
On Modal Logics for Qualitative Possibility in a Fuzzy Setting.
UAI
Petr Hájek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluís Godo
1994 C conf
Possibilistic Logic as Interpretability Logic.
IPMU
Petr Hájek
1994 J jnl
Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations.
J. Appl. Non Class. Logics
Petr Hájek, Richard Zach
1993 — conf
A Comparative Fuzzy Modal Logic.
FLAI
Petr Hájek, Dagmar Harmancová
1993 J jnl
Epistemic Entrenchment and Arithmetical Hierarchy.
Artif. Intell.
Petr Hájek
1993 — conf
Epistemic Entrenchment and Arthmetical Hierarchy (Abstract).
Kurt Gödel Colloquium
Petr Hájek
1993 — book
Metamathematics of First-Order Arithmetic.
Petr Hájek, Pavel Pudlák
1992 — conf
On Belief Functions.
Advanced Topics in Artificial Intelligence
Petr Hájek, David Harmanec
1992 — conf
On Logics of Approximate Reasoning.
Logic at Work
Petr Hájek
1992 J jnl
The logic of
Arch. Math. Log.
Petr Hájek, Franco Montagna
1992 — book
Uncertain information processing in expert systems.
Petr Hájek, Tomás Havránek, Radim Jirousek
1991 J jnl
A note on the normal form of closed formulas of interpretability logic.
Stud Logica
Petr Hájek, Vítezslav Svejdar
1990 J jnl
On some formalized conservation results in arithmetic.
Arch. Math. Log.
Peter Clote, Petr Hájek, Jeff B. Paris
1990 J jnl
The logic of π
Arch. Math. Log.
Petr Hájek, Franco Montagna
1989 J jnl
On Recursion Theory in I Sigma
J. Symb. Log.
Petr Hájek, Antonín Kucera
1989 J jnl
The expert system shell EQUANT-PC: brief information.
Kybernetika
Petr Hájek, Marie Hájková, Tomás Havránek, Milan Daniel
1987 J jnl
Combinatorial principles concerning approximations of functions.
Arch. Math. Log.
Petr Hájek, Jeff B. Paris
1986 J jnl
A simple dynamic logic.
Theor. Comput. Sci.
Petr Hájek
1985 J jnl
Combining Functions for Certainty Degrees in Consulting Systems.
Int. J. Man Mach. Stud.
Petr Hájek
1983 J jnl
Arithmetical Interpretations of Dynamic Logic.
J. Symb. Log.
Petr Hájek
1982 A conf
Applying Artificial Intelligence to Data Analysis.
ECAI
Petr Hájek
1981 J jnl
A second-order dynamic logic with array assignments.
Fundam. Informaticae
Petr Hájek, Petr Kurka
1981 J jnl
Decision Problems of Some Statistically Motivated Monadic Modal Calculi.
Int. J. Man Mach. Stud.
Petr Hájek
1981 J jnl
Introduction.
Int. J. Man Mach. Stud.
Petr Hájek
1981 B conf
Making Dynamic Logic First-Order.
MFCS
Petr Hájek
1980 J jnl
On dynamic logic.
Kybernetika
Petr Hájek, Pavel Kalásek, Petr Kurka
1979 J jnl
Arithmetical Hierarchy and Complexity of Computation.
Theor. Comput. Sci.
Petr Hájek
1978 J jnl
On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75).
Math. Log. Q.
Bohuslav Balcar, Petr Hájek
1977 B conf
Arithmetical Complexity of Some Problems in Computer Science.
MFCS
Petr Hájek
1977 J jnl
Experimental Logics and pi
J. Symb. Log.
Petr Hájek
1977 J jnl
On Generation of Inductive Hypotheses.
Int. J. Man Mach. Stud.
Petr Hájek, Tomás Havránek
1976 J jnl
Observationsfunktorenkalküle und die Logik der automatisierten Forschung.
J. Inf. Process. Cybern.
Petr Hájek
1975 J jnl
Observationsfunktorenkalküle und die Logik der automatisierten Forschung.
J. Inf. Process. Cybern.
Petr Hájek
1975 B conf
On Logics of Discovery.
MFCS
Petr Hájek
1974 J jnl
Automatic listing of important observational statements. III.
Kybernetika
Petr Hájek
1973 J jnl
Automatic listing of important observational statements. I.
Kybernetika
Petr Hájek
1973 J jnl
Automatic listing of important observational statements. II.
Kybernetika
Petr Hájek
1973 J jnl
On generalized credence functions.
Kybernetika
Petr Hájek, Dagmar Harmancová
1973 B conf
Some Logical Problems of Automated Research.
MFCS
Petr Hájek
1971 J jnl
The GUHA method and the three-valued logic.
Kybernetika
Petr Hájek, Kamila Bendová, Zdenek Renc
1968 J jnl
The problem of a general conception of the GUHA method.
Kybernetika
Petr Hájek
1967 J jnl
The GUHA method of systematical hypotheses searching. II.
Kybernetika
Petr Hájek, Ivan Havel, Metodej K. Chytil
1966 J jnl
GUHA - the method of systematical hypotheses searching.
Kybernetika
Petr Hájek, Ivan Havel, Metodej K. Chytil
1966 J jnl
The GUHA method of automatic hypotheses determination.
Computing
Petr Hájek, Ivan Havel, Metodej K. Chytil