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: 234
2022
-
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
2021
-
Completeness in Partial Type Theory
Year: 2021, type: Appeared in Conference without Proceedings
-
Filozofie za horizontem událostí 2021
Year: 2021, type: Conference
-
Hudební dílo : strukturalismus vs. kontextualismus aneb věda vs. filozofie
Year: 2021, type: Popularization text
-
Kurt Gödel Day 2021 (KGD2021) with Czech Gathering of Logicians 2021 (CGL2021)
Year: 2021, type: Conference
-
Natural Deduction for Partial Type Theory with 'Evaluation Terms'
Year: 2021, type: Appeared in Conference without Proceedings