https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/against-cumulative-type-theory/17BC72156C09BBA8AED69E1E58A56FF7
AGAINST CUMULATIVE TYPE THEORY | The Review of Symbolic Logic | Cambridge Core
AGAINST CUMULATIVE TYPE THEORY - Volume 15 Issue 4
the review of symbolic logictype theorycumulative
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/abs/mereological-bimodal-logics/E5413DB274A7AE136D60B92A8BD4CF8E
MEREOLOGICAL BIMODAL LOGICS | The Review of Symbolic Logic | Cambridge Core
MEREOLOGICAL BIMODAL LOGICS - Volume 15 Issue 4
the review of symbolic logicbimodallogicscambridgecore