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: 230
2023
-
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
-
Solutions to Puzzles of Existential Generalisation
Year: 2022, type: Appeared in Conference without Proceedings
-
The Rule of Existential Generalisation and Explicit Substitution
Logic and logical philosophy, year: 2022, volume: 31, edition: 1, DOI