New axioms for mereology
This paper provides two new single-axiom systems for Lesniewski's mereology. Equivalence with other systems is established proof- theoretically.
scientific article; zbMATH DE number 3957065