Mereology

Archive of Formal Proofs (2021)
Download Edit this record How to cite View on PhilPapers
Abstract
The interactive theorem prover Isabelle/HOL is used to verify elementary theorems of classical extensional mereology.
Keywords
No keywords specified (fix it)
Categories
PhilPapers/Archive ID
BLUM-2
Upload history
Archival date: 2021-03-15
View other versions
Added to PP index
2021-03-15

Total views
51 ( #54,244 of 2,446,617 )

Recent downloads (6 months)
26 ( #26,093 of 2,446,617 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.