Q6150169
From MaRDI portal
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 |
|---|---|---|
| Stack Representation of Finitely Presented Heyting Pretoposes I (available as arXiv preprint) | N/A | Paper |
| Categorical structure in coherent theory of arithmetic Theoretical Computer Science | 2026-03-26 | Paper |
| Towards a relational treating of language and logical systems | 2024-09-10 | Paper |
| Unification of Modal Logic via Topological Categories Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
| Varieties of self-reference in metamathematics Journal of Philosophical Logic | 2023-08-02 | Paper |
| Ultraposet, Distributive Lattice, and Coherent Locale | 2023-04-21 | Paper |
| Categorical Structure in Theory of Arithmetic | 2023-04-11 | Paper |
| Syntax and Consequence Relations -- A Categorical Perspective | 2021-09-08 | Paper |
Research outcomes over time
This page was built for person:
