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

2022

• Solutions to Puzzles of Existential Generalisation

  RACLAVSKÝ Jiří

  Další prezentace na konferencích

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

• The Rule of Existential Generalisation and Explicit Substitution

  RACLAVSKÝ Jiří

  Článek v odborném periodiku

  Logic and logical philosophy, rok: 2022, ročník: 31, vydání: 1, DOI

2021

• Completeness in Partial Type Theory

  RACLAVSKÝ Jiří KUCHYŇKA Petr

  Další prezentace na konferencích

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

• Filozofie za horizontem událostí 2021

  TROUP Matěj NEČASOVÁ Tereza DUDÍKOVÁ Patrícia ZAPALAČOVÁ Karolína ŠPELDA Daniel RACLAVSKÝ Jiří

  Uspořádání konference

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

• Hudební dílo : strukturalismus vs. kontextualismus aneb věda vs. filozofie

  RACLAVSKÝ Jiří

  Popularizační texty

  Rok: 2021, druh: Popularizační texty

• Kurt Gödel Day 2021 (KGD2021) with Czech Gathering of Logicians 2021 (CGL2021)

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

  Uspořádání konference

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

• Natural Deduction for Partial Type Theory with 'Evaluation Terms'

  RACLAVSKÝ Jiří KUCHYŇKA Petr

  Další prezentace na konferencích

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

• Novel rules of beta-conversion in partial type theory

  RACLAVSKÝ Jiří KUCHYŇKA Petr

  Další prezentace na konferencích

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

• Světový den logiky (UNESCO, 14.1.)

  RACLAVSKÝ Jiří

  Popularizační texty

  Rok: 2021, druh: Popularizační texty

• The Rule of Existential Generalisation, Its Derivability and Formal Semantics

  RACLAVSKÝ Jiří

  Další prezentace na konferencích

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