Axioms for mereology (Q1077405)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Axioms for mereology |
scientific article; zbMATH DE number 3957064
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axioms for mereology |
scientific article; zbMATH DE number 3957064 |
Statements
Axioms for mereology (English)
0 references
1985
0 references
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).
0 references
axiomatics
0 references
Lesniewski's mereology
0 references
