New axioms for mereology (Q1077406)
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: New axioms for mereology |
scientific article; zbMATH DE number 3957065
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | New axioms for mereology |
scientific article; zbMATH DE number 3957065 |
Statements
New axioms for mereology (English)
0 references
1985
0 references
This paper provides two new single-axiom systems for Lesniewski's mereology. Equivalence with other systems is established proof- theoretically.
0 references
axiomatics
0 references
Lesniewski's mereology
0 references
0 references
0.8737217
0 references
0.86457306
0 references
0 references
0.8432958
0 references
0 references
