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
2024
-
Completeness in partial type theory
Journal of Logic and Computation, year: 2024, volume: 34, edition: 1, DOI
-
Kurt Gödel a Brno (3)
Year: 2024, type: Popularization text
-
Kurt Gödel Day 2024 (KGD2024) with Czech Gathering of Logicians 2024 (CGL2024)
Year: 2024, type: Conference
-
Semantics, pragmatics, and logic
Year: 2024, type: Workshop
-
Two Cases of Deduction with Descriptions and Partiality
Year: 2024, type: Appeared in Conference without Proceedings
2023
-
Conversion rules in type theory with evaluation terms
Year: 2023, type: Appeared in Conference without Proceedings
-
Inexpressible propositions and limits of propositional notions of truth, assertion, belief and knowledge
Year: 2023, type:
-
Kurt Gödel a Brno (2)
Year: 2023, type: Popularization text
-
Kurt Gödel, génius matematické logiky
Year: 2023, type: Popularization text
-
Kurt na furt! (Sedmikrásky online | 114)
Year: 2023, type: Popularization text