Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/191360
| Title: | Mereology | Authors: | BEN RICHARD KELSEY BLUMSON | Issue Date: | 1-Mar-2021 | Citation: | BEN RICHARD KELSEY BLUMSON (2021-03-01). Mereology. Archive of Formal Proofs. ScholarBank@NUS Repository. | Abstract: | We use Isabelle/HOL to verify elementary theorems and alternative axiomatizations of classical extensional mereology. | Source Title: | Archive of Formal Proofs | URI: | https://scholarbank.nus.edu.sg/handle/10635/191360 | ISSN: | 2150-914x |
| Appears in Collections: | Staff Publications Elements |
Show full 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.