Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/108735
Citations | ||
Scopus | Web of Science® | Altmetric |
---|---|---|
?
|
?
|
Type: | Book chapter |
Title: | Wedge sum, merge and inconsistency |
Author: | Mortensen, C. |
Citation: | J Michael Dunn on Information Based Logics, 2016 / Bimbo, K. (ed./s), vol.8, Ch.[3], pp.45-51 |
Publisher: | Springer |
Publisher Place: | Switzerland |
Issue Date: | 2016 |
Series/Report no.: | Outstanding Conributions to Logic; 8 |
ISBN: | 3319292986 9783319292984 |
Editor: | Bimbo, K. |
Statement of Responsibility: | Chris Mortensen |
Abstract: | This paper investigates the topological construction of Wedge Sum, with the aim of showing that it can be done mathematically, via a quotient construction, or logically, via Merge. Consistent and Inconsistent versions are given, while noting that the natural outcome of Merging is an inconsistent theory. Finally it is observed that algebraic constructions can also be treated via Merge, where the extra functionality makes for various triviality and non-triviality results. |
Keywords: | Inconsistent theory; Leibniz law; logical theories; merge; wedge sum |
Rights: | © Springer International Publishing Switzerland 2016 |
DOI: | 10.1007/978-3-319-29300-4_3 |
Published version: | http://link.springer.com/book/10.1007/978-3-319-29300-4 |
Appears in Collections: | Aurora harvest 8 Philosophy publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
RA_hdl_108735.pdf Restricted Access | Restricted Access | 97.29 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.