Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/139139
Citations | ||
Scopus | Web of ScienceĀ® | Altmetric |
---|---|---|
?
|
?
|
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Roberts, D.M. | - |
dc.date.issued | 2023 | - |
dc.identifier.citation | Compositionality, 2023; 5(8):1-16 | - |
dc.identifier.issn | 2631-4444 | - |
dc.identifier.uri | https://hdl.handle.net/2440/139139 | - |
dc.description.abstract | This article re-examines Lawvere's abstract, category-theoretic proof of the fixed-point theorem whose contrapositive is a `universal' diagonal argument. The main result is that the necessary axioms for both the fixed-point theorem and the diagonal argument can be stripped back further, to a semantic analogue of a weak substructural logic lacking weakening or exchange. | - |
dc.description.statementofresponsibility | David Michael Roberts | - |
dc.language.iso | en | - |
dc.publisher | Compositionality Journal | - |
dc.rights | This Paper is published in Compositionality under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions. | - |
dc.source.uri | http://dx.doi.org/10.32408/compositionality-5-8 | - |
dc.subject | math.CT | - |
dc.subject | cs.LO | - |
dc.subject | math.LO | - |
dc.subject | 03B47, 18A15 | - |
dc.subject | F.4.1 | - |
dc.title | Substructural fixed-point theorems and the diagonal argument: theme and variations | - |
dc.type | Journal article | - |
dc.identifier.doi | 10.32408/compositionality-5-8 | - |
dc.relation.grant | http://purl.org/au-research/grants/arc/DP180100383 | - |
pubs.publication-status | Published | - |
dc.identifier.orcid | Roberts, D.M. [0000-0002-3478-0522] | - |
Appears in Collections: | Mathematical Sciences publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.