Petr Hájek (hajek-p)

Mentioned on the following portal pages

Contributions to Philosophie.ch

Bibliography

Baaz, Matthias, Hájek, Petr, Krajı́ček, Jan and Svejda, David. 1998. “Embedding Logics into Product Logic.” Studia Logica: An International Journal for Symbolic Logic 61: 35–47.
Buss, Samuel R., Hájek, Petr and Pudlák, Pavel, eds. 2000. Logic Colloquium ’98 – Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic held in Prague. Lecture Notes in Logic n. 13. Urbana, Illinois: Association of Symbolic Logic; A.K. Peters.
Dubois, Didier, Hájek, Petr and Prade, Henri. 2000. “Knowledge-Driven versus Data-Driven Logics.” Journal of Logic, Language, and Information 9(1): 65–89.
Hájek, Petr. 1971. “Sets, Semisets, Models.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 67–82. Proceedings of Symposia in Pure Mathematics n. 13.2. Providence, Rhode Island: American Mathematical Society. Proceedings of the Symposium held at the University of California, Los Angeles, July 10 – August 5, 1967.
Hájek, Petr. 1979. “On Partially Conservative Extensions of Arithmetic.” in Logic Colloquium ’78, edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, pp. 225–234. Studies in Logic and the Foundations of Mathematics n. 97. Amsterdam: North-Holland Publishing Co.
Hájek, Petr. 1993. “Epistemic Entrenchment and Arithmetical Hierarchy.” Artificial Intelligence 62(1): 79–87.
Hájek, Petr, ed. 1996. Gödel’96: Logical Foundations of Mathematics, Computer Science, and Physics–Kurt Gödel’s Legacy. Berlin: Springer.
Hájek, Petr. 1998. Metamathematics of Fuzzy Logic. Dordrecht: Kluwer Academic Publishers.
Hájek, Petr. 2000. “Review of Grim et al. (1998).” The Bulletin of Symbolic Logic 6(3): 347–349.
Hájek, Petr. 2001. “Fuzzy Logic and Arithmetical Hierarchy III.” Studia Logica: An International Journal for Symbolic Logic 68(1): 129–142.
Hájek, Petr. 2002a. “Fuzzy Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2002/entries/logic-fuzzy/.
Hájek, Petr. 2002b. “Why Fuzzy Logic?” in A Companion to Philosophical Logic, edited by Dale Jacquette, pp. 595–606. Blackwell Companions to Philosophy. Oxford: Blackwell Publishers, doi:10.1002/9780470996751.
Hájek, Petr. 2004. “Fuzzy Logic and Arithmetical Hierarchy IV.” in First-Order Logic Revisited, edited by Vincent F. Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler, and Heinrich Theodor Wansing, pp. 107–116. Logische Philosophie n. 12. Berlin: Logos Verlag.
Hájek, Petr. 2006a. “Review of Priest (2001).” The Bulletin of Symbolic Logic 12(2): 294–295.
Hájek, Petr. 2006b. “Fuzzy Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2006/entries/logic-fuzzy/.
Hájek, Petr. 2008. “Review of Priest (2008).” The Bulletin of Symbolic Logic 14(4): 544–545.
Hájek, Petr. 2010. “Fuzzy Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2010/entries/logic-fuzzy/.
Hájek, Petr. 2011. “Deductive Systems of Fuzzy Logic.” in Proof, Computation and Agency. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Rohit Parikh, pp. 67–80. Synthese Library n. 352. Dordrecht: Springer.
Hájek, Petr, Godo, Lluı́s and Esteva, Francesco. 1996. “A Complete Many-Valued Logic with Product-Conjunction.” Archive for Mathematical Logic 35: 191–208.
Hájek, Petr, Marek, Wictor W. and Vopěnka, Petr. 2008. “Mostowski and Czech-Polish Cooperation in Mathematical Logic.” in Andrzej Mostowski and Foundational Studies, edited by Andrzej Ehrenfeucht, Wictor W. Marek, and Marian Srebrny, pp. 403–405. Amsterdam: IOS Press.
Hájek, Petr, Paris, Jeffrey Bruce and Shepardson, John. 2000. “The Liar Paradox and Fuzzy Logic.” The Journal of Symbolic Logic 65(1): 339–346.
Hájek, Petr, Valdés Villanueva, Luis M. and Westerståhl, Dag, eds. 2005. Logic, Methodology and Philosophy of Science XII: Proceedings of the Twelfth International Congress, Oviedo 2003. London: King’s College Publications.
Vopěnka, Petr and Hájek, Petr. 1972. The Theory of Semisets. Studies in Logic and the Foundations of Mathematics n. 70. Amsterdam: North-Holland Publishing Co.

Further References

Grim, Patrick, Mat, Gary, St. Denis, Paul and the Group for Logic – Formal Semantics, eds. 1998. The Philosophical Computer: Exploratory Essays in Philosophical Computer Modeling. Cambridge, Massachusetts: The MIT Press.
Priest, Graham. 2001. An Introduction to Non-Classical Logic. 1st ed. Cambridge: Cambridge University Press.
Priest, Graham. 2008. An Introduction to Non-Classical Logic. From If to Is. 2nd ed. Cambridge: Cambridge University Press. First edition: Priest (2001), doi:10.1017/cbo9780511801174.