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í: 231
2024
-
Completeness in partial type theory
Journal of Logic and Computation, rok: 2024, ročník: 34, vydání: 1, DOI
-
Kurt Gödel a Brno (3)
Rok: 2024, druh: Popularizační texty
-
Kurt Gödel Day 2024 (KGD2024) with Czech Gathering of Logicians 2024 (CGL2024)
Rok: 2024, druh: Uspořádání konference
-
Semantics, pragmatics, and logic
Rok: 2024, druh: Uspořádání workshopu
-
Two Cases of Deduction with Descriptions and Partiality
Rok: 2024, druh: Další prezentace na konferencích
2023
-
Conversion rules in type theory with evaluation terms
Rok: 2023, druh: Další prezentace na konferencích
-
Inexpressible propositions and limits of propositional notions of truth, assertion, belief and knowledge
Rok: 2023, druh: Vyžádané přednášky
-
Kurt Gödel a Brno (2)
Rok: 2023, druh: Popularizační texty
-
Kurt Gödel, génius matematické logiky
Rok: 2023, druh: Popularizační texty
-
Kurt na furt! (Sedmikrásky online | 114)
Rok: 2023, druh: Popularizační texty