Petr Hájek

Publication Activity (10 Years)

Years Active: 1966-2022
Publications (10 Years): 1

Top Venues

Log. J. IGPL

CoRR

Rev. Symb. Log.

Publications

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) (2022)
Petr Hájek, Zuzana Haniková
Interpreting lattice-valued set theory in fuzzy set theory. Log. J. IGPL 21 (1) (2013)
Petr Hájek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluís Godo
On Modal Logics for Qualitative Possibility in a Fuzzy Setting CoRR (2013)
Petr Hájek
On equality and natural numbers in Cantor-Łukasiewicz set theory. Log. J. IGPL 21 (1) (2013)
Petr Hájek
Some remarks on Cantor-Łukasiewicz fuzzy set theory. Log. J. IGPL 21 (2) (2013)
Petr Hájek, Lluís Godo, Francesc Esteva
Fuzzy Logic and Probability CoRR (2013)
Petr Hájek
Towards metamathematics of weak arithmetics over fuzzy logic. Log. J. IGPL 19 (3) (2011)
Petr Hájek
Comments on Interpretability and Decidability in Fuzzy Logic. J. Log. Comput. 21 (5) (2011)
Petr Cintula, Petr Hájek
Triangular norm based predicate fuzzy logics. Fuzzy Sets Syst. 161 (3) (2010)
Petr Hájek
On witnessed models in fuzzy logic III - witnessed Gödel logics. Math. Log. Q. 56 (2) (2010)
Siegfried Gottwald, Petr Hájek, Ulrich Höhle, Erich-Peter Klement
Editorial. Fuzzy Sets Syst. 161 (3) (2010)
Petr Hájek
On White's Expansion of Lukasiewicz Logic. J. Log. Comput. 20 (2) (2010)
Petr Hájek, Martin Holena, Jan Rauch
The GUHA method and its meaning for data mining. J. Comput. Syst. Sci. 76 (1) (2010)
Petr Hájek
On fuzzy modal logics S5(L). Fuzzy Sets Syst. 161 (18) (2010)
Petr Hájek
Some (non)tautologies of łukasiewicz and Product Logic. Rev. Symb. Log. 3 (2) (2010)
Petr Cintula, Petr Hájek
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. J. Log. Comput. 19 (2) (2009)
Petr Hájek
On Vagueness, Truth Values and Fuzzy Logics. Stud Logica 91 (3) (2009)
Petr Hájek
Arithmetical complexity of fuzzy predicate logics - A survey II. Ann. Pure Appl. Log. 161 (2) (2009)
Petr Hájek, Radko Mesiar
On copulas, quasicopulas and fuzzy logic. Soft Comput. 12 (12) (2008)
Petr Hájek
On arithmetical complexity of fragments of prominent fuzzy predicate logics. Soft Comput. 12 (4) (2008)
Petr Hájek
Ontological Proofs of Existence and Non-Existence. Stud Logica 90 (2) (2008)
Petr Hájek, Franco Montagna
A note on the first-order logic of complete BL-chains. Math. Log. Q. 54 (4) (2008)
Manuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek
Editorial. Fuzzy Sets Syst. 159 (10) (2008)
Petr Hájek
Mathematical Fuzzy Logic - a Survey and Some News. EUSFLAT Conf. (1) (2007)
Petr Hájek
On witnessed models in fuzzy logic II. Math. Log. Q. 53 (6) (2007)
Petr Hájek
On witnessed models in fuzzy logic. Math. Log. Q. 53 (1) (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 Syst. 158 (6) (2007)
Petr Cintula, Petr Hájek, Rostislav Horcík
Formal systems of fuzzy logic and their fragments. Ann. Pure Appl. Log. 150 (1-3) (2007)
Petr Hájek
Complexity of fuzzy probability logics II. Fuzzy Sets Syst. 158 (23) (2007)
Petr Hájek
Mathematical Fuzzy Logic and Natural Numbers. Fundam. Informaticae 81 (1-3) (2007)
Petr Cintula, Petr Hájek
On theories and models in fuzzy predicate logics. J. Symb. Log. 71 (3) (2006)
Petr Hájek
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Fuzzy Sets Syst. 157 (5) (2006)
Petr Hájek
On Fuzzy Theories with Crisp Sentences. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Petr Hájek
Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa. Stud Logica 84 (1) (2006)
Petr Hájek
What is mathematical fuzzy logic. Fuzzy Sets Syst. 157 (5) (2006)
Petr Hájek
A non-arithmetical Gödel logic. Log. J. IGPL 13 (4) (2005)
Petr Hájek
On arithmetic in the Cantor- Lukasiewicz fuzzy set theory. Arch. Math. Log. 44 (6) (2005)
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
Editorial. Log. J. IGPL 13 (4) (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 Syst. 156 (3) (2005)
Petr Hájek
Fleas and Fuzzy Logic. J. Multiple Valued Log. Soft Comput. 11 (1-2) (2005)
Petr Hájek
Arithmetical complexity of fuzzy predicate logics - a survey. Soft Comput. 9 (12) (2005)
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
Editorial. Log. J. IGPL 13 (5) (2005)
Petr Hájek
Making fuzzy description logic more general. Fuzzy Sets Syst. 154 (1) (2005)
Petr Hájek
A True Unprovable Formula of Fuzzy Predicate Logic. Logic versus Approximation (2004)
Siegfried Gottwald, Petr Hájek
Editorial. Fuzzy Sets Syst. 143 (1) (2004)
Francesc Esteva, Lluís Godo, Petr Hájek, Franco Montagna
Hoops and Fuzzy Logic. J. Log. Comput. 13 (4) (2003)
Petr Hájek
Observations on non-commutative fuzzy logic. Soft Comput. 8 (1) (2003)
Petr Hájek, Martin Holena
Formal logics of discovery and hypothesis formation by machine. Theor. Comput. Sci. 292 (2) (2003)
Petr Hájek
Relations and GUHA-Style Data Mining II. RelMiCS (2003)
Petr Hájek, Vilém Novák
The sorites paradox and fuzzy logic. Int. J. Gen. Syst. 32 (4) (2003)
Petr Hájek
On generalized quantifiers, finite sets and data mining. IIS (2003)
Petr Hájek
Fleas and fuzzy logic: a survey. EUSFLAT Conf. (2003)
Lluís Godo, Petr Hájek, Francesc Esteva
A Fuzzy Modal Logic for Belief Functions. Fundam. Informaticae 57 (2-4) (2003)
Petr Hájek
Fuzzy Logics with Noncommutative Conjuctions. J. Log. Comput. 13 (4) (2003)
Petr Hájek
Basic fuzzy logic and BL-algebras II. Soft Comput. 7 (3) (2003)
Petr Hájek
A New Small Emendation of Gödel's Ontological Proof. Stud Logica 71 (2) (2002)
Petr Hájek
Monadic Fuzzy Predicate Logics. Stud Logica 71 (2) (2002)
Josep Maria Font, Petr Hájek
On Lukasiewicz's Four-Valued Modal Logic. Stud Logica 70 (2) (2002)
Petr Hájek
Observations on the monoidal t-norm logic. Fuzzy Sets Syst. 132 (1) (2002)
Petr Hájek
Relations in GUHA Style Data Mining. RelMiCS (2001)
Petr Hájek
Fuzzy Logic and Arithmetical Hierarchy III. Stud Logica 68 (1) (2001)
Lluís Godo, Petr Hájek, Francesc Esteva
A Fuzzy Modal Logic for Belief Functions. IJCAI (2001)
Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith
Complexity of t-tautologies. Ann. Pure Appl. Log. 113 (1-3) (2001)
Petr Hájek, John C. Shepherdson
A note on the notion of truth in fuzzy logic. Ann. Pure Appl. Log. 109 (1-2) (2001)
Petr Hájek, Zuzana Haniková
A Set Theory within Fuzzy Logic. ISMVL (2001)
Petr Hájek
On very true. Fuzzy Sets Syst. 124 (3) (2001)
Petr Hájek, Lluís Godo, Siegfried Gottwald
Editorial. Fuzzy Sets Syst. 124 (3) (2001)
Petr Hájek, Sauro Tulipani
Complexity of Fuzzy Probability Logics. Fundam. Informaticae 45 (3) (2001)
Petr Hájek, Jeff B. Paris, John C. Shepherdson
The Liar Paradox and Fuzzy Logic. J. Symb. Log. 65 (1) (2000)
Francesc Esteva, Lluís Godo, Petr Hájek, Mirko Navara
Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39 (2) (2000)
Didier Dubois, Petr Hájek, Henri Prade
Knowledge-Driven versus Data-Driven Logics. J. Log. Lang. Inf. 9 (1) (2000)
Petr Hájek, Dagmar Harmancová
A Hedge for Gödel Fuzzy Logic. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 8 (4) (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) (2000)
Petr Hájek, Jan Rauch
Logics and Statistics for Association Rules and Beyond Abstract of Tutorial. PKDD (1999)
Petr Hájek
Ten Questions and One Problem on Fuzzy Logic. Ann. Pure Appl. Log. 96 (1-3) (1999)
Lluís Godo, Petr Hájek
Fuzzy inference as deduction. J. Appl. Non Class. Logics 9 (1) (1999)
Petr Hájek
Trakhtenbrot Theorem and Fuzzy Logic. CSL (1998)
Petr Hájek
Basic fuzzy logic and BL-algebras. Soft Comput. 2 (3) (1998)
Petr Hájek, Martin Holena
Formal Logics of Discovery and Hypothesis Formation by Machine. Discovery Science (1998)
Matthias Baaz, Petr Hájek, David Svejda, Jan Krajícek
Embedding Logics into Product Logic. Stud Logica 61 (1) (1998)
Petr Hájek
Ten claims about fuzzy logic. Soft Comput. 2 (1) (1998)
Petr Hájek, Jeff B. Paris
A dialogue on fuzzy logic. Soft Comput. 1 (1) (1997)
Milan Daniel, Petr Hájek, Phuong Hoang Nguyen
CADIAG-2 and MYCIN-like systems. Artif. Intell. Medicine 9 (3) (1997)
Petr Hájek
Fuzzy Logic and Arithmetical Hierarchy, II. Stud Logica 58 (1) (1997)
Petr Hájek, Ladislav J. Kohout
Fuzzy Implications and generalized Quantifiers. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 4 (3) (1996)
Petr Hájek, Dagmar Harmancová
The Prague seminar of applied mathematical logic and its work on fuzzy logic. Fuzzy Sets Syst. 82 (1) (1996)
Petr Hájek, Lluís Godo, Francesc Esteva
A complete many-valued logic with product-conjunction. Arch. Math. Log. 35 (3) (1996)
Petr Hájek, Lluís Godo, Francesc Esteva
Fuzzy logic and probability. UAI (1995)
Petr Hájek, Dagmar Harmancová
Medical Fuzz;y Expert Systems and Reasoning about Beliefs. AIME (1995)
Petr Hájek, Dagmar Harmancová, Rineke Verbrugge
A qualitative fuzzy possibilistic logic. Int. J. Approx. Reason. 12 (1) (1995)
Petr Hájek
Fuzzy Logic From The Logical Point of View. SOFSEM (1995)
Petr Hájek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluís Godo
On Modal Logics for Qualitative Possibility in a Fuzzy Setting. UAI (1994)
Petr Hájek
Possibilistic Logic as Interpretability Logic. IPMU (1994)
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) (1994)
David Harmanec, Petr Hájek
A Qualitative Belief Logic. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 2 (2) (1994)
Petr Hájek, Dagmar Harmancová
A Comparative Fuzzy Modal Logic. FLAI (1993)
Petr Hájek
Epistemic Entrenchment and Arthmetical Hierarchy (Abstract). Kurt Gödel Colloquium (1993)
Petr Hájek
Epistemic Entrenchment and Arithmetical Hierarchy. Artif. Intell. 62 (1) (1993)
Petr Hájek
On Logics of Approximate Reasoning. Logic at Work (1992)
Petr Hájek, David Harmanec
On Belief Functions. Advanced Topics in Artificial Intelligence (1992)

Petr Hájek.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Petr Hájek