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 |
|---|---|---|
| Logic in the deep end Analysis | 2026-03-27 | Paper |
| Hyperdoctrine semantics: an invitation | 2024-11-20 | Paper |
| On not saying what we shouldn't have to say The Australasian Journal of Logic | 2021-12-29 | Paper |
| Coalgebra and abstraction Notre Dame Journal of Formal Logic | 2021-09-07 | Paper |
| Provability, mechanism, and the diagonal problem Gödel's Disjunction | 2020-04-02 | Paper |
| Burali-Forti as a purely logical paradox Journal of Philosophical Logic | 2019-12-19 | Paper |
| Structural-Abstraction Principles Philosophia Mathematica | 2019-02-26 | Paper |
| What Russell should have said to Burali-Forti The Review of Symbolic Logic | 2018-01-17 | Paper |
| Generalizing Boolos' theorem The Review of Symbolic Logic | 2017-05-31 | Paper |
| Yablifying the Rosser sentence Journal of Philosophical Logic | 2014-12-18 | Paper |
| Yablo's Paradox And Arithmetical Incompleteness | 2011-10-10 | Paper |
Research outcomes over time
This page was built for person: Graham Leach-Krouse
