Matches in SemOpenAlex for { <https://semopenalex.org/work/W3202332511> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3202332511 endingPage "8" @default.
- W3202332511 startingPage "8" @default.
- W3202332511 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." @default.
- W3202332511 created "2021-10-11" @default.
- W3202332511 creator A5010739864 @default.
- W3202332511 date "2023-08-10" @default.
- W3202332511 modified "2023-09-23" @default.
- W3202332511 title "Substructural fixed-point theorems and the diagonal argument: theme and variations" @default.
- W3202332511 cites W1516224330 @default.
- W3202332511 cites W1822259911 @default.
- W3202332511 cites W1871186312 @default.
- W3202332511 cites W1965238318 @default.
- W3202332511 cites W1970938795 @default.
- W3202332511 cites W2014016992 @default.
- W3202332511 cites W2016569281 @default.
- W3202332511 cites W2046449629 @default.
- W3202332511 cites W2086248250 @default.
- W3202332511 cites W2093918239 @default.
- W3202332511 cites W2099741610 @default.
- W3202332511 cites W2159080528 @default.
- W3202332511 cites W2173023892 @default.
- W3202332511 cites W2474875069 @default.
- W3202332511 cites W2612874307 @default.
- W3202332511 cites W2963810482 @default.
- W3202332511 cites W2964305797 @default.
- W3202332511 cites W4240214488 @default.
- W3202332511 cites W4245030819 @default.
- W3202332511 cites W1564798145 @default.
- W3202332511 doi "https://doi.org/10.32408/compositionality-5-8" @default.
- W3202332511 hasPublicationYear "2023" @default.
- W3202332511 type Work @default.
- W3202332511 sameAs 3202332511 @default.
- W3202332511 citedByCount "0" @default.
- W3202332511 crossrefType "journal-article" @default.
- W3202332511 hasAuthorship W3202332511A5010739864 @default.
- W3202332511 hasBestOaLocation W32023325111 @default.
- W3202332511 hasConcept C118615104 @default.
- W3202332511 hasConcept C130367717 @default.
- W3202332511 hasConcept C134306372 @default.
- W3202332511 hasConcept C144237770 @default.
- W3202332511 hasConcept C167729594 @default.
- W3202332511 hasConcept C185592680 @default.
- W3202332511 hasConcept C202444582 @default.
- W3202332511 hasConcept C2524010 @default.
- W3202332511 hasConcept C33923547 @default.
- W3202332511 hasConcept C45962547 @default.
- W3202332511 hasConcept C55493867 @default.
- W3202332511 hasConcept C61445026 @default.
- W3202332511 hasConcept C98184364 @default.
- W3202332511 hasConceptScore W3202332511C118615104 @default.
- W3202332511 hasConceptScore W3202332511C130367717 @default.
- W3202332511 hasConceptScore W3202332511C134306372 @default.
- W3202332511 hasConceptScore W3202332511C144237770 @default.
- W3202332511 hasConceptScore W3202332511C167729594 @default.
- W3202332511 hasConceptScore W3202332511C185592680 @default.
- W3202332511 hasConceptScore W3202332511C202444582 @default.
- W3202332511 hasConceptScore W3202332511C2524010 @default.
- W3202332511 hasConceptScore W3202332511C33923547 @default.
- W3202332511 hasConceptScore W3202332511C45962547 @default.
- W3202332511 hasConceptScore W3202332511C55493867 @default.
- W3202332511 hasConceptScore W3202332511C61445026 @default.
- W3202332511 hasConceptScore W3202332511C98184364 @default.
- W3202332511 hasLocation W32023325111 @default.
- W3202332511 hasLocation W32023325112 @default.
- W3202332511 hasLocation W32023325113 @default.
- W3202332511 hasOpenAccess W3202332511 @default.
- W3202332511 hasPrimaryLocation W32023325111 @default.
- W3202332511 hasRelatedWork W1575298045 @default.
- W3202332511 hasRelatedWork W1619282128 @default.
- W3202332511 hasRelatedWork W1996521626 @default.
- W3202332511 hasRelatedWork W2023675529 @default.
- W3202332511 hasRelatedWork W2077911875 @default.
- W3202332511 hasRelatedWork W2161430598 @default.
- W3202332511 hasRelatedWork W2170085271 @default.
- W3202332511 hasRelatedWork W2350748817 @default.
- W3202332511 hasRelatedWork W2367802852 @default.
- W3202332511 hasRelatedWork W2514111614 @default.
- W3202332511 hasVolume "5" @default.
- W3202332511 isParatext "false" @default.
- W3202332511 isRetracted "false" @default.
- W3202332511 magId "3202332511" @default.
- W3202332511 workType "article" @default.