Please use this identifier to cite or link to this item: http://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), Ch.[3], pp.45-51
Publisher: Springer
Publisher Place: Switzerland
Issue Date: 2016
Series/Report no.: Outstanding Conributions to Logic; 8
ISBN: 3319292986
9783319292984
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
RMID: 0030046533
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:Philosophy publications

Files in This Item:
File Description SizeFormat 
RA_hdl_108735.pdfRestricted Access97.29 kBAdobe PDFView/Open


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