Jirí Raclavský

According to our database¹, Jirí Raclavský authored at least 3 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Two Cases of Deduction with Non-referring Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications, January, 2024

Completeness in partial type theory.

[BibT_eX]

[DOI]

J. Log. Comput., 2024

2022

Puzzles of Existential Generalisation from Type-theoretic Perspective.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022