This paper investigates two intuitionistic mereological systems based on Tarski’s axiomatisation of general mereology. These systems use two intuitionistically non-equivalent formalisations of the notion of fusion. I study extensionality and supplementation properties as well as some variants of these systems, and defend parthood as a suitable primitive notion for intuitionistic mereology if working with Tarski’s axiomatisation. Furthermore, I arrive at an equi-interpretability result for one of the atomistic variants with intuitionistic plural logic. I discuss to what extent these results support (...) the philosophical pertinence of the mereological systems under investigation as intuitionistic theories of parthood, thereby reacting to a conceptual challenge that we are confronted with when engaging in intuitionistic mereology. (shrink)

Rough sets are used in numerous knowledge representation contexts and are then empowered with varied ontologies. These may be intrinsically associated with ideas of rationality under certain conditions. In recent papers, specific granular generalisations of graded and variable precision rough sets are investigated by the present author from the perspective of rationality of approximations (and the associated semantics of rationality in approximate reasoning). The studies are extended to ideal-based approximations (sometimes referred to as subsethood-based approximations). It is additionally shown that (...) co-granular or point-wise approximations defined by σ-ideals/filters (for an arbitrary relation σ) fit easily into the entire scheme. Concepts of the rationality of objects (vague or crisp) and their types are introduced and are shown to be applicable to most general rough sets by the present author. Surprising results on these are proved on these by her in this part of the research paper. The present paper is the first of a three part study on the topic. (shrink)