Matches in SemOpenAlex for { <https://semopenalex.org/work/W2804557262> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2804557262 abstract "We show that numerous distinctive concepts of constructive mathematics arise automatically from an interpretation of higher-order into intuitionistic higher-order logic via a Chu construction. This includes apartness relations, complemented subsets, anti-subgroups and anti-ideals, strict and non-strict order pairs, cut-valued metrics, and apartness spaces. We also explain the constructive bifurcation of classical concepts using the choice between multiplicative and additive linear connectives. Linear logic thus systematically constructivizes classical definitions and deals automatically with the resulting bookkeeping, and could potentially be used directly as a basis for constructive mathematics in place of intuitionistic logic." @default.
- W2804557262 created "2018-06-01" @default.
- W2804557262 creator A5065839536 @default.
- W2804557262 date "2018-05-19" @default.
- W2804557262 modified "2023-09-27" @default.
- W2804557262 title "Linear logic for constructive mathematics" @default.
- W2804557262 hasPublicationYear "2018" @default.
- W2804557262 type Work @default.
- W2804557262 sameAs 2804557262 @default.
- W2804557262 citedByCount "1" @default.
- W2804557262 countsByYear W28045572622021 @default.
- W2804557262 crossrefType "posted-content" @default.
- W2804557262 hasAuthorship W2804557262A5065839536 @default.
- W2804557262 hasConcept C10138342 @default.
- W2804557262 hasConcept C118615104 @default.
- W2804557262 hasConcept C134306372 @default.
- W2804557262 hasConcept C136119220 @default.
- W2804557262 hasConcept C162324750 @default.
- W2804557262 hasConcept C178421362 @default.
- W2804557262 hasConcept C182306322 @default.
- W2804557262 hasConcept C199343813 @default.
- W2804557262 hasConcept C199360897 @default.
- W2804557262 hasConcept C202444582 @default.
- W2804557262 hasConcept C2777686260 @default.
- W2804557262 hasConcept C2778701210 @default.
- W2804557262 hasConcept C28077239 @default.
- W2804557262 hasConcept C33923547 @default.
- W2804557262 hasConcept C41008148 @default.
- W2804557262 hasConcept C42747912 @default.
- W2804557262 hasConcept C527412718 @default.
- W2804557262 hasConcept C71924100 @default.
- W2804557262 hasConcept C98045186 @default.
- W2804557262 hasConceptScore W2804557262C10138342 @default.
- W2804557262 hasConceptScore W2804557262C118615104 @default.
- W2804557262 hasConceptScore W2804557262C134306372 @default.
- W2804557262 hasConceptScore W2804557262C136119220 @default.
- W2804557262 hasConceptScore W2804557262C162324750 @default.
- W2804557262 hasConceptScore W2804557262C178421362 @default.
- W2804557262 hasConceptScore W2804557262C182306322 @default.
- W2804557262 hasConceptScore W2804557262C199343813 @default.
- W2804557262 hasConceptScore W2804557262C199360897 @default.
- W2804557262 hasConceptScore W2804557262C202444582 @default.
- W2804557262 hasConceptScore W2804557262C2777686260 @default.
- W2804557262 hasConceptScore W2804557262C2778701210 @default.
- W2804557262 hasConceptScore W2804557262C28077239 @default.
- W2804557262 hasConceptScore W2804557262C33923547 @default.
- W2804557262 hasConceptScore W2804557262C41008148 @default.
- W2804557262 hasConceptScore W2804557262C42747912 @default.
- W2804557262 hasConceptScore W2804557262C527412718 @default.
- W2804557262 hasConceptScore W2804557262C71924100 @default.
- W2804557262 hasConceptScore W2804557262C98045186 @default.
- W2804557262 hasLocation W28045572621 @default.
- W2804557262 hasOpenAccess W2804557262 @default.
- W2804557262 hasPrimaryLocation W28045572621 @default.
- W2804557262 hasRelatedWork W1562330853 @default.
- W2804557262 hasRelatedWork W1842417814 @default.
- W2804557262 hasRelatedWork W1999780552 @default.
- W2804557262 hasRelatedWork W2019385579 @default.
- W2804557262 hasRelatedWork W2029705760 @default.
- W2804557262 hasRelatedWork W2031330107 @default.
- W2804557262 hasRelatedWork W2057264146 @default.
- W2804557262 hasRelatedWork W2067379244 @default.
- W2804557262 hasRelatedWork W2118097562 @default.
- W2804557262 hasRelatedWork W2156583603 @default.
- W2804557262 hasRelatedWork W2161079746 @default.
- W2804557262 hasRelatedWork W2288991796 @default.
- W2804557262 hasRelatedWork W2320858954 @default.
- W2804557262 hasRelatedWork W2558742213 @default.
- W2804557262 hasRelatedWork W2897208881 @default.
- W2804557262 hasRelatedWork W2964164692 @default.
- W2804557262 hasRelatedWork W3037589091 @default.
- W2804557262 hasRelatedWork W3105030000 @default.
- W2804557262 hasRelatedWork W3121711625 @default.
- W2804557262 hasRelatedWork W3122007655 @default.
- W2804557262 isParatext "false" @default.
- W2804557262 isRetracted "false" @default.
- W2804557262 magId "2804557262" @default.
- W2804557262 workType "article" @default.