• DML-CZ Home

Author: Hájek, Petr

• Hájek, Petr: Ještě o elementární logice. (Czech) [Once more on elementary logic]. Pokroky matematiky, fyziky a astronomie, vol. 43 (1998), issue 4, pp. 324-325
• Hájek, Petr; Sochor, Antonín: Klasická logika v kontextu svých zobecnění a boj docenta Fialy proti větrným mlýnům. (Czech) [Classical logic in context of its generalizations and Professor Fiala’s tilting at windmills]. Pokroky matematiky, fyziky a astronomie, vol. 43 (1998), issue 1, pp. 39-45
• Fabian, Marián; Hájek, Petr; Zizler, Václav: A note on lattice renormings. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 38 (1997), issue 2, pp. 263-272
• Hájek, Petr: Dual renormings of Banach spaces. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 37 (1996), issue 2, pp. 241-253
• Hájek, Petr; Hájková, Marie; Havránek, Tomáš; Daniel, Milan: The expert system shell EQUANT-PC: brief information. (English). Kybernetika, vol. 25 (1989), issue 7, pp. 4-9
• Hájek, Petr: Partial conservativity revisited. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 4, pp. 679-690
• Bendová, Kamila; Hájek, Petr: A logical analysis of the truth-reaction paradox. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 4, pp. 699-713
• Hájek, Petr: Completion closed algebras and models of Peano arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 3, pp. 585-594
• Hájek, Petr: On interpretability in theories containing arithmetic. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 667-688
• Hájek, Petr; Kalášek, Pavel; Kůrka, Petr: O dynamické logice. (Czech) [On dynamic logic]. Kybernetika, vol. 16 (1980), issue 7, pp. (1),3-41
• Hájek, Petr: K nedožitým šedesátinám Ladislava Riegra. (Czech) [On the unattained sixtieth birthday of Ladislav Rieger]. Časopis pro pěstování matematiky, vol. 101 (1976), issue 4, pp. 417-418
• Hájek, Petr: Automatic listing of important observational statements. III. (English). Kybernetika, vol. 10 (1974), issue 2, pp. (95)-124
• Hájek, Petr: Automatic listing of important observational statements. I. (English). Kybernetika, vol. 9 (1973), issue 3, pp. (187)-205
• Hájek, Petr: Automatic listing of important observational statements. II. (English). Kybernetika, vol. 9 (1973), issue 4, pp. (251)-271
• Hájek, Petr: Bibliography of the Prague Seminar on Foundations of Set Theory - Part II. (English). Czechoslovak Mathematical Journal, vol. 23 (1973), issue 3, pp. 521-523
• Hájek, Petr; Harmancová, Dagmar: On generalized credence functions. (English). Kybernetika, vol. 9 (1973), issue 5, pp. (343)-356
• Hájek, Petr: Why semisets?. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 3, pp. 397-420
• Hájek, Petr: On interpretability in set theories. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 3, pp. 445-455
• Hájek, Petr; Bendová, Kamila; Renc, Zdeněk: The GUHA method and the three-valued logic. (English). Kybernetika, vol. 7 (1971), issue 6, pp. (421)-435
• Hájek, Petr: On interpretability in set theories. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 1, pp. 73-79
• Hájek, Petr: Problém obecného pojetí metody GUHA. (Czech) [The problem of a general conception of the GUHA method]. Kybernetika, vol. 4 (1968), issue 6, pp. (505)-515
• Hájek, Petr; Havel, Ivan; Chytil, Metoděj: GUHA - metoda systematického vyhledávání hypotéz. II. (Czech) [The GUHA method of systematical hypotheses searching. II]. Kybernetika, vol. 3 (1967), issue 5, pp. (430)-437
• Hájek, Petr; Havel, Ivan; Chytil, Metoděj: GUHA - metoda systematického vyhledávání hypotéz. (Czech) [GUHA - the method of systematical hypotheses searching]. Kybernetika, vol. 2 (1966), issue 1, pp. (31)-47
• Hájek, Petr: Syntaktické metody matematické logiky. (Czech) [Syntactical methods of mathematical logic]. Pokroky matematiky, fyziky a astronomie, vol. 11 (1966), issue 1, pp. 22-31
• Hájek, Petr: Generalized interpretability in terms of models. (Note to a paper of R. Montague.). (English). Časopis pro pěstování matematiky, vol. 91 (1966), issue 3, pp. 352-357
• Hájek, Petr: Berichtigung zu meiner Arbeit 'Die Szászschen Gruppoide'. (German). Matematicko-fyzikálny časopis, vol. 15 (1965), issue 4, pp. 331
• Hájek, Petr: Die Szászchen Gruppoide. (German). Matematicko-fyzikálny časopis, vol. 15 (1965), issue 1, pp. 15-42
• Hájek, Petr: Eine Bemerkung über standarde nichtreguläre Modelle der Mengenlehre. (German) [A remark on standard irregular models of the set theory]. Commentationes Mathematicae Universitatis Carolinae, vol. 6 (1965), issue 1, pp. 1-6
• Hájek, Petr: K pojmu primitivní třídy algeber (Birkhoffova věta). (Czech) [The concept of a primitive class of algebras (Birkhoff theorem)]. Časopis pro pěstování matematiky, vol. 90 (1965), issue 4, pp. 477-486
• Bukovský, Leo; Hájek, Petr: Zpráva o studijním soustředění. (Czech) [Report on study assembly]. Pokroky matematiky, fyziky a astronomie, vol. 10 (1965), issue 2, pp. 105-106