Jiří Raclavský

From MaRDI portal
Person:3105670

Available identifiers

zbMath Open raclavsky.jiriMaRDI QIDQ3105670

List of research outcomes





PublicationDate of PublicationType
Puzzles of existential generalisation from type-theoretic perspective2025-01-09Paper
Completeness in partial type theory2024-02-08Paper
The Rule of Existential Generalisation and Explicit Substitution2022-03-29Paper
https://portal.mardi4nfdi.de/entity/Q51195492020-08-30Paper
Existential Import and Relations of Categorical and Modal Categorical Statements2019-03-20Paper
https://portal.mardi4nfdi.de/entity/Q45579802018-11-27Paper
Explicating the Notion of Truth Within Transparent Intensional Logic2015-06-29Paper
https://portal.mardi4nfdi.de/entity/Q49825912015-04-09Paper
https://portal.mardi4nfdi.de/entity/Q49197802013-05-15Paper
https://portal.mardi4nfdi.de/entity/Q31056712012-01-05Paper

Research outcomes over time

This page was built for person: Jiří Raclavský

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3105670&oldid=7158787"
Powered by MediaWiki