prof. PhDr. BcA. Jiří Raclavský, Ph.D.
Professor, Department of Philosophy
Correspondence Address:
Arna Nováka 1/1, 602 00 Brno
Office: bldg. A/A.113
Arna Nováka 1
602 00 Brno
Phone: | +420 549 49 6344 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 231
2023
-
Limits of truth, assertion, belief and knowledge
Year: 2023, type:
-
Nakladatelství Host - prezentace a debata k vydání překladu knihy Budiansky "Na okraji rozumu: Život Kurta Gödela"
Year: 2023, type: Popularization text
-
Partial Type Theory TT* with Extensions
Year: 2023, type: Appeared in Conference without Proceedings
2022
-
Derivability of rules of beta-conversion in partial type theory
Year: 2022, type: Appeared in Conference without Proceedings
-
Filozofie za horizontem událostí 2022
Year: 2022, type: Conference
-
Inexpressible propositions about assertion, knowledge and belief
Year: 2022, type:
-
Kurt Gödel a Brno (1)
Year: 2022, type: Popularization text
-
Kurt und Nekonečno
Year: 2022, type: Popularization text
-
Problems with Beta-conversion Rules in Type Theory with Quotation and Evaluation Terms
Year: 2022, type: Appeared in Conference without Proceedings
-
Puzzles of Existential Generalisation from Type-theoretic Perspective
Electronic Proceedings In Theoretical Computer Science (358), year: 2022