Thanks, Alex. Any connections between this and CTMU? (I’m in part trying to evaluate CTMU by looking at whether it has useful implications for an area that I’m relatively familiar with.)
No direct connections that I’m aware of (besides non-classical logics being generally helpful for understanding the sorts of claims the CTMU makes).
No direct connections that I’m aware of (besides non-classical logics being generally helpful for understanding the sorts of claims the CTMU makes).