Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/191360
DC Field | Value | |
---|---|---|
dc.title | Mereology | |
dc.contributor.author | BEN RICHARD KELSEY BLUMSON | |
dc.date.accessioned | 2021-05-20T04:43:36Z | |
dc.date.available | 2021-05-20T04:43:36Z | |
dc.date.issued | 2021-03-01 | |
dc.identifier.citation | BEN RICHARD KELSEY BLUMSON (2021-03-01). Mereology. Archive of Formal Proofs. ScholarBank@NUS Repository. | |
dc.identifier.issn | 2150-914x | |
dc.identifier.uri | https://scholarbank.nus.edu.sg/handle/10635/191360 | |
dc.description.abstract | We use Isabelle/HOL to verify elementary theorems and alternative axiomatizations of classical extensional mereology. | |
dc.description.uri | https://www.isa-afp.org/entries/Mereology.html | |
dc.source | Elements | |
dc.type | Article | |
dc.date.updated | 2021-05-20T04:14:05Z | |
dc.contributor.department | DEPT OF PHILOSOPHY | |
dc.description.sourcetitle | Archive of Formal Proofs | |
dc.published.state | Published | |
Appears in Collections: | Staff Publications Elements |
Show simple item record
Files in This Item:
File | Description | Size | Format | Access Settings | Version | |
---|---|---|---|---|---|---|
document.pdf | 384.12 kB | Adobe PDF | OPEN | Published | View/Download |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.