Puzzles of Existential Generalisation from Type-theoretic Perspective. - Jirí Raclavský (NCL, 2022)

Completeness in partial type theory. - Petr Kuchynka; Jirí Raclavský (J. Log. Comput., 2024)

Two Cases of Deduction with Non-referring Descriptions. - Jirí Raclavský (NCL, 2024)