!!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
\\ \\