Petr Hájek

Affiliations:
  • Czech Academy of Sciences, Institute of Computer Science (ICS), Prague, Czech Republic


According to our database1, Petr Hájek authored at least 137 papers between 1966 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?
Rev. Symb. Log., 2022

2013
Interpreting lattice-valued set theory in fuzzy set theory.
Log. J. IGPL, 2013

Some remarks on Cantor-Łukasiewicz fuzzy set theory.
Log. J. IGPL, 2013

On equality and natural numbers in Cantor-Łukasiewicz set theory.
Log. J. IGPL, 2013

2011
Comments on Interpretability and Decidability in Fuzzy Logic.
J. Log. Comput., 2011

Towards metamathematics of weak arithmetics over fuzzy logic.
Log. J. IGPL, 2011

Deductive Systems of Fuzzy Logic.
Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011

2010
Logics for Data Mining.
Proceedings of the Data Mining and Knowledge Discovery Handbook, 2nd ed., 2010

Some (non)tautologies of łukasiewicz and Product Logic.
Rev. Symb. Log., 2010

On witnessed models in fuzzy logic III - witnessed Gödel logics.
Math. Log. Q., 2010

On White's Expansion of Lukasiewicz Logic.
J. Log. Comput., 2010

The GUHA method and its meaning for data mining.
J. Comput. Syst. Sci., 2010

On fuzzy modal logics S5(L).
Fuzzy Sets Syst., 2010

Editorial.
Fuzzy Sets Syst., 2010

Triangular norm based predicate fuzzy logics.
Fuzzy Sets Syst., 2010

2009
On Vagueness, Truth Values and Fuzzy Logics.
Stud Logica, 2009

Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic.
J. Log. Comput., 2009

Arithmetical complexity of fuzzy predicate logics - A survey II.
Ann. Pure Appl. Log., 2009

2008
On copulas, quasicopulas and fuzzy logic.
Soft Comput., 2008

On arithmetical complexity of fragments of prominent fuzzy predicate logics.
Soft Comput., 2008

Ontological Proofs of Existence and Non-Existence.
Stud Logica, 2008

A note on the first-order logic of complete BL-chains.
Math. Log. Q., 2008

Editorial.
Fuzzy Sets Syst., 2008

2007
On witnessed models in fuzzy logic II.
Math. Log. Q., 2007

On witnessed models in fuzzy logic.
Math. Log. Q., 2007

Mathematical Fuzzy Logic and Natural Numbers.
Fundam. Informaticae, 2007

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., 2007

Complexity of fuzzy probability logics II.
Fuzzy Sets Syst., 2007

Formal systems of fuzzy logic and their fragments.
Ann. Pure Appl. Log., 2007

Mathematical Fuzzy Logic - a Survey and Some News.
Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006
Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa.
Stud Logica, 2006

On theories and models in fuzzy predicate logics.
J. Symb. Log., 2006

Computational complexity of t-norm based propositional fuzzy logics with rational truth constants.
Fuzzy Sets Syst., 2006

What is mathematical fuzzy logic.
Fuzzy Sets Syst., 2006

On Fuzzy Theories with Crisp Sentences.
Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

What does mathematical fuzzy logic offer to description logic?
Proceedings of the Fuzzy Logic and the Semantic Web, 2006

2005
Arithmetical complexity of fuzzy predicate logics - a survey.
Soft Comput., 2005

Fleas and Fuzzy Logic.
J. Multiple Valued Log. Soft Comput., 2005

A non-arithmetical Gödel logic.
Log. J. IGPL, 2005

Editorial.
Log. J. IGPL, 2005

Making fuzzy description logic more general.
Fuzzy Sets Syst., 2005

Terminological difficulties in fuzzy set theory - The case of "Intuitionistic Fuzzy Sets".
Fuzzy Sets Syst., 2005

On arithmetic in the Cantor- Lukasiewicz fuzzy set theory.
Arch. Math. Log., 2005

Logics for Data Mining.
Proceedings of the Data Mining and Knowledge Discovery Handbook., 2005

2004
Editorial.
Fuzzy Sets Syst., 2004

The GUHA Method, Data Preprocessing and Mining.
Proceedings of the Database Support for Data Mining Applications: Discovering Knowledge with Inductive Queries, 2004

A True Unprovable Formula of Fuzzy Predicate Logic.
Proceedings of the Logic versus Approximation, 2004

2003
Formal logics of discovery and hypothesis formation by machine.
Theor. Comput. Sci., 2003

Observations on non-commutative fuzzy logic.
Soft Comput., 2003

Basic fuzzy logic and BL-algebras II.
Soft Comput., 2003

Fuzzy Logics with Noncommutative Conjuctions.
J. Log. Comput., 2003

Hoops and Fuzzy Logic.
J. Log. Comput., 2003

The sorites paradox and fuzzy logic.
Int. J. Gen. Syst., 2003

A Fuzzy Modal Logic for Belief Functions.
Fundam. Informaticae, 2003

On generalized quantifiers, finite sets and data mining.
Proceedings of the Intelligent Information Processing and Web Mining, 2003

Fleas and fuzzy logic: a survey.
Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, 2003

The GUHA Method and Foundations of (Relational) Data Mining.
Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

Relations and GUHA-Style Data Mining II.
Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2002
Monadic Fuzzy Predicate Logics.
Stud Logica, 2002

A New Small Emendation of Gödel's Ontological Proof.
Stud Logica, 2002

On Lukasiewicz's Four-Valued Modal Logic.
Stud Logica, 2002

Observations on the monoidal t-norm logic.
Fuzzy Sets Syst., 2002

2001
Fuzzy Logic and Arithmetical Hierarchy III.
Stud Logica, 2001

Complexity of Fuzzy Probability Logics.
Fundam. Informaticae, 2001

Editorial.
Fuzzy Sets Syst., 2001

On very true.
Fuzzy Sets Syst., 2001

A note on the notion of truth in fuzzy logic.
Ann. Pure Appl. Log., 2001

Complexity of t-tautologies.
Ann. Pure Appl. Log., 2001

A Set Theory within Fuzzy Logic.
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

Relations in GUHA Style Data Mining.
Proceedings of the Relational Methods in Computer Science, 2001

2000
Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic.
J. Symb. Log., 2000

The Liar Paradox and Fuzzy Logic.
J. Symb. Log., 2000

Knowledge-Driven versus Data-Driven Logics.
J. Log. Lang. Inf., 2000

A Hedge for Gödel Fuzzy Logic.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000

Residuated fuzzy logics with an involutive negation.
Arch. Math. Log., 2000

1999
Fuzzy inference as deduction.
J. Appl. Non Class. Logics, 1999

Ten Questions and One Problem on Fuzzy Logic.
Ann. Pure Appl. Log., 1999

Logics and Statistics for Association Rules and Beyond Abstract of Tutorial.
Proceedings of the Principles of Data Mining and Knowledge Discovery, 1999

1998
Basic fuzzy logic and BL-algebras.
Soft Comput., 1998

Ten claims about fuzzy logic.
Soft Comput., 1998

Embedding Logics into Product Logic.
Stud Logica, 1998

Trakhtenbrot Theorem and Fuzzy Logic.
Proceedings of the Computer Science Logic, 12th International Workshop, 1998

Metamathematics of Fuzzy Logic
Trends in Logic 4, Kluwer, ISBN: 978-94-011-5300-3, 1998

1997
A dialogue on fuzzy logic.
Soft Comput., 1997

Fuzzy Logic and Arithmetical Hierarchy, II.
Stud Logica, 1997

CADIAG-2 and MYCIN-like systems.
Artif. Intell. Medicine, 1997

1996
Fuzzy Implications and generalized Quantifiers.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1996

The Prague seminar of applied mathematical logic and its work on fuzzy logic.
Fuzzy Sets Syst., 1996

A complete many-valued logic with product-conjunction.
Arch. Math. Log., 1996

1995
A qualitative fuzzy possibilistic logic.
Int. J. Approx. Reason., 1995

Fuzzy logic and probability.
Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

Fuzzy Logic From The Logical Point of View.
Proceedings of the SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23, 1995

Medical Fuzz;y Expert Systems and Reasoning about Beliefs.
Proceedings of the Artificial Intelligence Medicine, 1995

1994
Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations.
J. Appl. Non Class. Logics, 1994

A Qualitative Belief Logic.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1994

On Modal Logics for Qualitative Possibility in a Fuzzy Setting.
Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

Possibilistic Logic as Interpretability Logic.
Proceedings of the Advances in Intelligent Computing, 1994

1993
Epistemic Entrenchment and Arithmetical Hierarchy.
Artif. Intell., 1993

A Comparative Fuzzy Modal Logic.
Proceedings of the Fuzzy Logic in Artificial Intelligence, 1993

Epistemic Entrenchment and Arthmetical Hierarchy (Abstract).
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

Metamathematics of First-Order Arithmetic.
Perspectives in mathematical logic, Springer, ISBN: 978-3-540-63648-9, 1993

1992
The logic of<i>II</i><sub>1</sub>-conservativity continued.
Arch. Math. Log., 1992

On Logics of Approximate Reasoning.
Proceedings of the Knowledge Representation and Reasoning Under Uncertainty, 1992

On Belief Functions.
Proceedings of the Advanced Topics in Artificial Intelligence, 1992

Uncertain information processing in expert systems.
CRC Press, ISBN: 978-0-8493-6368-9, 1992

1991
A note on the normal form of closed formulas of interpretability logic.
Stud Logica, 1991

1990
The logic of π<sub>1</sub>-conservativity.
Arch. Math. Log., 1990

On some formalized conservation results in arithmetic.
Arch. Math. Log., 1990

1989
The expert system shell EQUANT-PC: brief information.
Kybernetika, 1989

On Recursion Theory in I Sigma<sub>1</sub>.
J. Symb. Log., 1989

1987
Combinatorial principles concerning approximations of functions.
Arch. Math. Log., 1987

1986
A simple dynamic logic.
Theor. Comput. Sci., 1986

1985
Combining Functions for Certainty Degrees in Consulting Systems.
Int. J. Man Mach. Stud., 1985

1983
Arithmetical Interpretations of Dynamic Logic.
J. Symb. Log., 1983

1982
Applying Artificial Intelligence to Data Analysis.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1981
Decision Problems of Some Statistically Motivated Monadic Modal Calculi.
Int. J. Man Mach. Stud., 1981

Introduction.
Int. J. Man Mach. Stud., 1981

A second-order dynamic logic with array assignments.
Fundam. Informaticae, 1981

Making Dynamic Logic First-Order.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

1980
On dynamic logic.
Kybernetika, 1980

1979
Arithmetical Hierarchy and Complexity of Computation.
Theor. Comput. Sci., 1979

1978
On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75).
Math. Log. Q., 1978

1977
Experimental Logics and pi<sup>0</sup><sub>3</sub> Theories.
J. Symb. Log., 1977

On Generation of Inductive Hypotheses.
Int. J. Man Mach. Stud., 1977

Arithmetical Complexity of Some Problems in Computer Science.
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1975
Observationsfunktorenkalküle und die Logik der automatisierten Forschung.
J. Inf. Process. Cybern., 1975

On Logics of Discovery.
Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

1974
Automatic listing of important observational statements. III.
Kybernetika, 1974

1973
On generalized credence functions.
Kybernetika, 1973

Automatic listing of important observational statements. II.
Kybernetika, 1973

Automatic listing of important observational statements. I.
Kybernetika, 1973

Some Logical Problems of Automated Research.
Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973

1971
The GUHA method and the three-valued logic.
Kybernetika, 1971

1968
The problem of a general conception of the GUHA method.
Kybernetika, 1968

1967
The GUHA method of systematical hypotheses searching. II.
Kybernetika, 1967

1966
GUHA - the method of systematical hypotheses searching.
Kybernetika, 1966

The GUHA method of automatic hypotheses determination.
Computing, 1966


  Loading...