Wedge sum, merge and inconsistency

Please use this identifier to cite or link to this item: https://hdl.handle.net/2440/108735

Scopus	Web of Science®	Altmetric
Citations
?	?

Full metadata record

DC Field	Value	Language
dc.contributor.author	Mortensen, C.	-
dc.contributor.editor	Bimbo, K.	-
dc.date.issued	2016	-
dc.identifier.citation	J Michael Dunn on Information Based Logics, 2016 / Bimbo, K. (ed./s), vol.8, Ch.[3], pp.45-51	-
dc.identifier.isbn	3319292986	-
dc.identifier.isbn	9783319292984	-
dc.identifier.uri	http://hdl.handle.net/2440/108735	-
dc.description.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.	-
dc.description.statementofresponsibility	Chris Mortensen	-
dc.language.iso	en	-
dc.publisher	Springer	-
dc.relation.ispartofseries	Outstanding Conributions to Logic; 8	-
dc.rights	© Springer International Publishing Switzerland 2016	-
dc.source.uri	http://link.springer.com/book/10.1007/978-3-319-29300-4	-
dc.subject	Inconsistent theory; Leibniz law; logical theories; merge; wedge sum	-
dc.title	Wedge sum, merge and inconsistency	-
dc.type	Book chapter	-
dc.identifier.doi	10.1007/978-3-319-29300-4_3	-
dc.publisher.place	Switzerland	-
pubs.publication-status	Published	-
dc.identifier.orcid	Mortensen, C. [0009-0001-3942-2126]	-
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

Show simple item record

Adelaide Research & Scholarship