Jiří Raclavský
From MaRDI portal
Person:3105670
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Puzzles of existential generalisation from type-theoretic perspective | 2025-01-09 | Paper |
| Completeness in partial type theory Journal Of Logic And Computation | 2024-02-08 | Paper |
| The Rule of Existential Generalisation and Explicit Substitution Logic and Logical Philosophy | 2022-03-29 | Paper |
| Belief attitudes, fine-grained hyperintensionality and type-theoretic logic | 2020-08-30 | Paper |
| Existential import and relations of categorical and modal categorical statements Logic and Logical Philosophy | 2019-03-20 | Paper |
| scientific article; zbMATH DE number 6985487 (Why is no real title available?) | 2018-11-27 | Paper |
| Explicating the notion of truth within transparent intensional logic Recent Trends in Philosophical Logic | 2015-06-29 | Paper |
| scientific article; zbMATH DE number 6423952 (Why is no real title available?) | 2015-04-09 | Paper |
| scientific article; zbMATH DE number 6163274 (Why is no real title available?) | 2013-05-15 | Paper |
| Conceptual and derivation systems | 2012-01-05 | Paper |
Research outcomes over time
This page was built for person: Jiří Raclavský
