Axioms for mereology
This paper provides three new axiom systems for Lesniewski's mereology. Equivalence with other systems is established proof-theoretically. One of the systems has a single axiom (and a single definition). For a shorter single axiom for mereology, see the author's paper reviewed below (see Zbl 0595.03021).
scientific article; zbMATH DE number 3957064