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 SizeFormatAccess SettingsVersion 
document.pdf384.12 kBAdobe PDF

OPEN

PublishedView/Download

Page view(s)

59
checked on Nov 18, 2021

Download(s)

2
checked on Nov 18, 2021

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.