Pieces of mereology

@article{Pietruszczak2005PiecesOM,
  title={Pieces of mereology},
  author={A. Pietruszczak},
  journal={Logic and Logical Philosophy},
  year={2005},
  volume={14},
  pages={211-234}
}
In this paper we will treat mereology as a theory of some structures that are not axiomatizable in an elementary language (one of the axioms will contain the predicate ‘belong’ (‘∈’) and we will use a variable ranging over the power set of the universe of the structure). A mereological structure is an ordered pair M = , where M is a non-empty set and ⊑ is a binary relation in M , i.e., ⊑ is a subset of M × M . The relation ⊑ is a relation of being a mereological part (instead of ‘ ∈ ⊑’ we will… Expand
17 Citations

References

SHOWING 1-4 OF 4 REFERENCES
The Calculus of Individuals and Its Uses
The structure of appearance
Some complete calculi of individuals
  • Rolf A. Eberle
  • Philosophy, Computer Science
  • Notre Dame J. Formal Log.
  • 1967