Petr Hájek - List of publications#

The list of published works of Petr Hájek, maintained by the Library of the Institute of Computer Science, is available at http://ustavinformatiky.cz/knihovna-data/bibliografie/hajek/index.html.
Full list of publications: see http://www.cs.cas.cz/~hajek

Freely available on internet: The book Hájek-Havránek: Mechanizing hypothesis formation

Selection of publications:

A. Books:

• Vopěnka P., Hájek P.: The theory of semisets. North-Holland Publ. Comp. 1972, 332 pp.
• Hájek P., Havránek T., Chytil M.: Metoda GUHA – automatická tvorba hypotéz. Academia Prague 1983, 316 pp.
• Hájek P., Havránek T.: Mechanizing hypothesis formation (mathematical foundations for a general theory), Springer-Verlag Berlin-Heidelberg-New York, 1978, šíž pp.
• Hájek P., Pudlák P.: Metamathematics of first-order arithmetic, Springer-Verlag 1993, 460 pp.
• Hájek P., Havránek T., Jiroušek R.: Processing uncertain information in expert systems, CRC.Press (USA) 1992, 285 pp.
• Hájek P.: Metamathematics of Fuzzy Logic. Kluwer 1998, 297 pp.

B. Some selected papers.

1. Vagueness, truth values and fuzzy logic Studia Logica 91 (2009) 267-382

2. (with F. Montagna) A note on first-order logic of complete BL-chains. Math. Logic Quaterly 54 (2008) 340-351.

3. What is Mathematical Fuzzy Logic. Fuzzy Sets and Systems, Vol. 157,2006, pp. 597-603

4. On Arithmetic in the Cantor-Lukasiewicz Fuzzy Set Theory. Archive for Mathematical Logic, Vol. 44, 2005, pp. 763-782

5 Arithmetical Complexity of Fuzzy Predicate Logics - A Survey. Soft Computing, Vol. 9, 2005, pp. 935-941

6. (with Holeňa M.)Formal Logics of Discovery and Hypothesis Formation by Machine. Theoretical Computer Science, Vol. 292, 2003, pp. 345-357

7. A New Small Emendation of Gödels Ontological Proof. - Studia Logica, Vol. 71, 2002, pp. 149-164

8. (with Shepherdson J.) A Note on the Notion of Truth in Fuzzy Logic. Annals of Pure and Applied Logic, Vol. 109, 2001, pp. 65-69

9. (with Paris J., Shepherdson J.) The Liar Paradox and Fuzzy Logics. Journal of Symbolic Logic, Vol. 65, 2000, No. 1, pp. 339-346

10. Interpretability and Fragments of Arithmetic.In: Arithmetic, Proof Theory and Computational Complexity. (Ed.: Clote P., Krajíček J.) - Oxford, Clarendon Press 1993, pp. 185-196

11. (with Clote P.,Paris J.) On Some Formalized Conservation Results in Arithmetic. Archive for Mathematical Logic, Vol. 31, 1991, pp. 201-218

12. (with Montagna F.) The Logic of Pi-1 Conservativity. Archive for Mathematical Logic, Vol. 30, 1990, pp. 113-123

13. (with Kučera A.) On Recursion Theory in IE1. The Journal Symbolic of Logic, Vol. 54, 1989, pp. 576-589

14. Arithmetical Interpretations of Dynamic Logic. Journal of Symbolic Logic, Vol. 48, 1983, pp. 704-71 15. (with Hájková M.) On Interpretability in Theories Containing Arithmetic. Fundamenta Mathematicae, Vol. 76, 1972, pp. 131-137

16. (with Havel I., Chytil M.) The GUHA-Method of Automatic Hypotheses Determination. Computing, Vol. 1, 1966, pp. 293-308

17. The Consistency of Church's Alternatives. Bull. Acad. Polon. Sci., Vol. 14, 1966, pp. 31-47