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
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
-
Kurt Gödel Day 2024 (KGD2024) with Czech Gathering of Logicians 2024 (CGL2024)
Year: 2021, type: Conference
-
Natural Deduction for Partial Type Theory with 'Evaluation Terms'
Year: 2021, type: Appeared in Conference without Proceedings
-
Novel rules of beta-conversion in partial type theory
Year: 2021, type: Appeared in Conference without Proceedings
-
Světový den logiky (UNESCO, 14.1.)
Year: 2021, type: Popularization text
-
The Rule of Existential Generalisation, Its Derivability and Formal Semantics
Year: 2021, type: Appeared in Conference without Proceedings
2020
-
Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic
Year: 2020, edition: Vyd. 1., number of pages: 243 s.