Simple Extensional Mereology or Classical Extensional Mereology

[GoogleCodeExporter]

In section: Relations of parthood

"As our starting point in understanding the parthood relation, we take the 
axioms of Simple Extensional Mereology as defined in [46]. "
[46] is Simons "Parts"

However Simons doesn't define Simple Extensional Mereology afaik, it defines 
Classical Extensional Mereology.

I also don't see the Axioms included in the document.

In Parts (Sections 1.3.5, 1.5)  Classical Extensional Mereology has SA0-3 and 
SA24. Briefly, SA0 specifies first order predicate calculus with equality, SA1 
is asymmetry, SA2 is transitivity,  SA3 is weak supplementation, SA24 is the 
general sum principle.

Note the primitive is proper part of.

--

So the actions are: 1) Fix the typo 2) Include the SEM axioms

Original issue reported on code.google.com by alanruttenberg@gmail.com on 9 May 2012 at 3:01

• Blocking: #29

[GoogleCodeExporter]

Original comment by alanruttenberg@gmail.com on 9 May 2012 at 3:03

[GoogleCodeExporter]

Original comment by alanruttenberg@gmail.com on 23 May 2012 at 3:51

• Changed state: Started

[GoogleCodeExporter]

Added to reference

Original comment by alanruttenberg@gmail.com on 5 Jul 2012 at 7:10

• Changed state: Fixed

[GoogleCodeExporter]

Added to reference

Original comment by alanruttenberg@gmail.com on 5 Jul 2012 at 7:10