2026

• Inexpressible Propositions and Limits of Knowledge, Belief and Assertion

  RACLAVSKÝ Jiří

  Další prezentace na konferencích

  Rok: 2026, druh: Další prezentace na konferencích

• Kurt Gödel

  RACLAVSKÝ Jiří

  Popularizační texty

  Rok: 2026, druh: Popularizační texty

• Kurt Gödel a Brno (5)

  RACLAVSKÝ Jiří PASEKA Jan NOVOTNÝ Jan ŠVANDOVÁ Blažena DUŠEK Jiří

  Popularizační texty

  Rok: 2026, druh: Popularizační texty

2025

• Deduction with Non-referring Descriptions in Type-theoretic Partial Logic

  RACLAVSKÝ Jiří

  Vyžádané přednášky

  Rok: 2025, druh: Vyžádané přednášky

• Kurt Gödel a Brno (4)

  RACLAVSKÝ Jiří PASEKA Jan DURNOVÁ Helena ŠVANDOVÁ Blažena DUŠEK Jiří

  Popularizační texty

  Rok: 2025, druh: Popularizační texty

• Slova v kontextu průsečíků filosofie

  RACLAVSKÝ Jiří HAVLÍČEK Matyáš KUBÍČEK David MATAIL Pavel NOSEK Martin ŠEBKOVÁ Marie URUBKOVÁ Kateřina

  Uspořádání konference

  Rok: 2025, druh: Uspořádání konference

2024

• Completeness in partial type theory

  KUCHYŇKA Petr RACLAVSKÝ Jiří

  Článek v odborném periodiku

  Journal of Logic and Computation, rok: 2024, ročník: 34, vydání: 1, DOI

• Kurt Gödel a Brno (3)

  RACLAVSKÝ Jiří PASEKA Jan DURNOVÁ Helena NOVOTNÝ Jan DUŠEK Jiří

  Popularizační texty

  Rok: 2024, druh: Popularizační texty

• Kurt Gödel Day 2024 (KGD2024) with Czech Gathering of Logicians 2024 (CGL2024)

  RACLAVSKÝ Jiří PASEKA Jan DURNOVÁ Helena MENŠÍK Josef DUŠEK Jiří EMIR Kadir

  Uspořádání konference

  Rok: 2024, druh: Uspořádání konference

• Limits of Believing and Knowing

  RACLAVSKÝ Jiří

  Vyžádané přednášky

  Rok: 2024, druh: Vyžádané přednášky