Petr Hájek

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2013
Interpreting lattice-valued set theory in fuzzy set theory.
Logic Journal of the IGPL, 2013

Some remarks on Cantor-Łukasiewicz fuzzy set theory.
Logic Journal of the IGPL, 2013

On equality and natural numbers in Cantor-Łukasiewicz set theory.
Logic Journal of the IGPL, 2013

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

Towards metamathematics of weak arithmetics over fuzzy logic.
Logic Journal of the 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.
Rew. Symb. Logic, 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 and Systems, 2010

Editorial.
Fuzzy Sets and Systems, 2010

Triangular norm based predicate fuzzy logics.
Fuzzy Sets and Systems, 2010

2009
On Vagueness, Truth Values and Fuzzy Logics.
Studia 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. Logic, 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.
Studia Logica, 2008

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

Editorial.
Fuzzy Sets and Systems, 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. Inform., 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 and Systems, 2007

Complexity of fuzzy probability logics II.
Fuzzy Sets and Systems, 2007

Formal systems of fuzzy logic and their fragments.
Ann. Pure Appl. Logic, 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.
Studia 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 and Systems, 2006

What is mathematical fuzzy logic.
Fuzzy Sets and Systems, 2006

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

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

Fleas and Fuzzy Logic.
Multiple-Valued Logic and Soft Computing, 2005

A non-arithmetical Gödel logic.
Logic Journal of the IGPL, 2005

Editorial.
Logic Journal of the IGPL, 2005

Editorial.
Logic Journal of the IGPL, 2005

Making fuzzy description logic more general.
Fuzzy Sets and Systems, 2005

Terminological difficulties in fuzzy set theory - The case of "Intuitionistic Fuzzy Sets".
Fuzzy Sets and Systems, 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 and Systems, 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
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. General Systems, 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.
Studia Logica, 2002

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

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

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

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

Complexity of Fuzzy Probability Logics.
Fundam. Inform., 2001

Editorial.
Fuzzy Sets and Systems, 2001

On very true.
Fuzzy Sets and Systems, 2001

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

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

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

A Fuzzy Modal Logic for Belief Functions.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 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.
Journal of Logic, Language and Information, 2000

A Hedge for Gödel Fuzzy Logic.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2000

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

1999
Fuzzy inference as deduction.
Journal of Applied Non-Classical Logics, 1999

Ten Questions and One Problem on Fuzzy Logic.
Ann. Pure Appl. Logic, 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.
Studia Logica, 1998

Formal Logics of Discovery and Hypothesis Formation by Machine.
Proceedings of the Discovery Science, 1998

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

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

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

CADIAG-2 and MYCIN-like systems.
Artificial Intelligence in Medicine, 1997

1996
Fuzzy Implications and generalized Quantifiers.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 1996

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

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

1995
A qualitative fuzzy possibilistic logic.
Int. J. Approx. Reasoning, 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.
Journal of Applied Non-Classical Logics, 1994

A Qualitative Belief Logic.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 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 ofII1-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.
Studia Logica, 1991

1990
The logic of π1-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 Sigma1.
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.
International Journal of Man-Machine Studies, 1985

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

1982
Applying Artificial Intelligence to Data Analysis.
ECAI, 1982

1981
Decision Problems of Some Statistically Motivated Monadic Modal Calculi.
International Journal of Man-Machine Studies, 1981

Introduction.
International Journal of Man-Machine Studies, 1981

A second-order dynamic logic with array assignments.
Fundam. Inform., 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 pi03 Theories.
J. Symb. Log., 1977

On Generation of Inductive Hypotheses.
International Journal of Man-Machine Studies, 1977

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

1976
Observationsfunktorenkalküle und die Logik der automatisierten Forschung.
Elektronische Informationsverarbeitung und Kybernetik, 1976

1975
Observationsfunktorenkalküle und die Logik der automatisierten Forschung.
Elektronische Informationsverarbeitung und Kybernetik, 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...