prof. PhDr. BcA. Jiří Raclavský, Ph.D.

2023

• Limits of truth, assertion, belief and knowledge

  RACLAVSKÝ Jiří

  Vyžádané přednášky

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

• Nakladatelství Host - prezentace a debata k vydání překladu knihy Budiansky "Na okraji rozumu: Život Kurta Gödela"

  RACLAVSKÝ Jiří KRÁLOVÁ Maria KECKOVÁ Eva BOUŠEK Patrik

  Popularizační texty

  Rok: 2023, druh: Popularizační texty

• Partial Type Theory TT* with Extensions

  RACLAVSKÝ Jiří

  Další prezentace na konferencích

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

2022

• Derivability of rules of beta-conversion in partial type theory

  RACLAVSKÝ Jiří KUCHYŇKA Petr

  Další prezentace na konferencích

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

• Filozofie za horizontem událostí 2022

  ŠPELDA Daniel RACLAVSKÝ Jiří NEČASOVÁ Tereza DUDÍKOVÁ Patrícia PELOUŠEK Jakub

  Uspořádání konference

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

• Inexpressible propositions about assertion, knowledge and belief

  RACLAVSKÝ Jiří

  Vyžádané přednášky

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

• Kurt Gödel a Brno (1)

  RACLAVSKÝ Jiří ŠVANDOVÁ Blažena NOVOTNÝ Jan PASEKA Jan POSPÍŠIL Zdeněk DURNOVÁ Helena DUŠEK Jiří

  Popularizační texty

  Rok: 2022, druh: Popularizační texty

• Kurt und Nekonečno

  RACLAVSKÝ Jiří DUŠEK Jiří PASEKA Jan NOVOTNÝ Jan DURNOVÁ Helena ŠVANDOVÁ Blažena POSPÍŠIL Zdeněk PAVLÍK Jan

  Popularizační texty

  Rok: 2022, druh: Popularizační texty

• Problems with Beta-conversion Rules in Type Theory with Quotation and Evaluation Terms

  RACLAVSKÝ Jiří

  Další prezentace na konferencích

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

• Puzzles of Existential Generalisation from Type-theoretic Perspective

  RACLAVSKÝ Jiří

  Článek ve sborníku

  Electronic Proceedings In Theoretical Computer Science (358), rok: 2022