This paper extends the axiomatic treatment of intuitionistic mereology introduced in Maffezioli and Varzi (Synthese, 198(S18), 4277–4302 2021) by examining the behavior of constructive notions of overlap and disjointness. We consider both (i) various ways of defining such notions in terms of other intuitionistic mereological primitives, and (ii) the possibility of treating them as mereological primitives of their own.

中文翻译：

---

直觉分体学 II：重叠和不相交

本文通过检查重叠和不相交的构造性概念的行为，扩展了 Maffezioli 和 Varzi ( Synthese, 198 (S18), 4277–4302 2021)中引入的直觉分体论的公理化处理。我们考虑 (i) 根据其他直觉主义分体学原语定义此类概念的各种方式，以及 (ii) 将它们视为自己的分体学原语的可能性。