prof. PhDr. BcA. Jiří Raclavský, Ph.D.
profesor – Katedra filozofie
korespondenční adresa:
Arna Nováka 1/1, 602 00 Brno
kancelář: bud. A/A.113
Arna Nováka 1
602 00 Brno
telefon: | 549 49 6344 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 230
2023
-
Partial Type Theory TT* with Extensions
Rok: 2023, druh: Další prezentace na konferencích
2022
-
Derivability of rules of beta-conversion in partial type theory
Rok: 2022, druh: Další prezentace na konferencích
-
Filozofie za horizontem událostí 2022
Rok: 2022, druh: Uspořádání konference
-
Inexpressible propositions about assertion, knowledge and belief
Rok: 2022, druh: Vyžádané přednášky
-
Kurt Gödel a Brno (1)
Rok: 2022, druh: Popularizační texty
-
Kurt und Nekonečno
Rok: 2022, druh: Popularizační texty
-
Problems with Beta-conversion Rules in Type Theory with Quotation and Evaluation Terms
Rok: 2022, druh: Další prezentace na konferencích
-
Puzzles of Existential Generalisation from Type-theoretic Perspective
Electronic Proceedings In Theoretical Computer Science (358), rok: 2022
-
Solutions to Puzzles of Existential Generalisation
Rok: 2022, druh: Další prezentace na konferencích
-
The Rule of Existential Generalisation and Explicit Substitution
Logic and logical philosophy, rok: 2022, ročník: 31, vydání: 1, DOI