Matches in SemOpenAlex for { <https://semopenalex.org/work/W2618873122> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2618873122 abstract "We study the properties of the language of Stratified Sets (first-order logic with $in$ and a stratification condition) as used in TST, TZT, and (with stratifiability instead of stratification) in Quine's NF. We find that the syntax forms a nominal algebra for substitution and that stratification and stratifiability imply confluence and strong normalisation under rewrites corresponding naturally to $beta$-conversion." @default.
- W2618873122 created "2017-06-05" @default.
- W2618873122 creator A5022313675 @default.
- W2618873122 date "2018-05-01" @default.
- W2618873122 modified "2023-10-09" @default.
- W2618873122 title "The language of Stratified Sets is confluent and strongly normalising" @default.
- W2618873122 cites W1493381672 @default.
- W2618873122 cites W1506082922 @default.
- W2618873122 cites W1514385560 @default.
- W2618873122 cites W1534018603 @default.
- W2618873122 cites W1594900487 @default.
- W2618873122 cites W159715351 @default.
- W2618873122 cites W1975082667 @default.
- W2618873122 cites W1981092775 @default.
- W2618873122 cites W2061275016 @default.
- W2618873122 cites W2105683431 @default.
- W2618873122 cites W2127052734 @default.
- W2618873122 cites W2131034879 @default.
- W2618873122 cites W2154273644 @default.
- W2618873122 cites W2163198641 @default.
- W2618873122 cites W2547099725 @default.
- W2618873122 cites W2794980193 @default.
- W2618873122 cites W2964256821 @default.
- W2618873122 cites W427601738 @default.
- W2618873122 doi "https://doi.org/10.23638/lmcs-14(2:12)2018" @default.
- W2618873122 hasPublicationYear "2018" @default.
- W2618873122 type Work @default.
- W2618873122 sameAs 2618873122 @default.
- W2618873122 citedByCount "0" @default.
- W2618873122 crossrefType "journal-article" @default.
- W2618873122 hasAuthorship W2618873122A5022313675 @default.
- W2618873122 hasBestOaLocation W26188731222 @default.
- W2618873122 hasConcept C100701293 @default.
- W2618873122 hasConcept C138885662 @default.
- W2618873122 hasConcept C192943249 @default.
- W2618873122 hasConcept C199360897 @default.
- W2618873122 hasConcept C33923547 @default.
- W2618873122 hasConcept C3527866 @default.
- W2618873122 hasConcept C41008148 @default.
- W2618873122 hasConcept C41895202 @default.
- W2618873122 hasConcept C59822182 @default.
- W2618873122 hasConcept C60048249 @default.
- W2618873122 hasConcept C77906462 @default.
- W2618873122 hasConcept C86803240 @default.
- W2618873122 hasConcept C88548481 @default.
- W2618873122 hasConcept C9270016 @default.
- W2618873122 hasConceptScore W2618873122C100701293 @default.
- W2618873122 hasConceptScore W2618873122C138885662 @default.
- W2618873122 hasConceptScore W2618873122C192943249 @default.
- W2618873122 hasConceptScore W2618873122C199360897 @default.
- W2618873122 hasConceptScore W2618873122C33923547 @default.
- W2618873122 hasConceptScore W2618873122C3527866 @default.
- W2618873122 hasConceptScore W2618873122C41008148 @default.
- W2618873122 hasConceptScore W2618873122C41895202 @default.
- W2618873122 hasConceptScore W2618873122C59822182 @default.
- W2618873122 hasConceptScore W2618873122C60048249 @default.
- W2618873122 hasConceptScore W2618873122C77906462 @default.
- W2618873122 hasConceptScore W2618873122C86803240 @default.
- W2618873122 hasConceptScore W2618873122C88548481 @default.
- W2618873122 hasConceptScore W2618873122C9270016 @default.
- W2618873122 hasLocation W26188731221 @default.
- W2618873122 hasLocation W26188731222 @default.
- W2618873122 hasOpenAccess W2618873122 @default.
- W2618873122 hasPrimaryLocation W26188731221 @default.
- W2618873122 hasRelatedWork W1148267043 @default.
- W2618873122 hasRelatedWork W2009384968 @default.
- W2618873122 hasRelatedWork W2018499968 @default.
- W2618873122 hasRelatedWork W2028027992 @default.
- W2618873122 hasRelatedWork W2034290655 @default.
- W2618873122 hasRelatedWork W2124840601 @default.
- W2618873122 hasRelatedWork W2138752377 @default.
- W2618873122 hasRelatedWork W2811289096 @default.
- W2618873122 hasRelatedWork W2992041233 @default.
- W2618873122 hasRelatedWork W3103373868 @default.
- W2618873122 isParatext "false" @default.
- W2618873122 isRetracted "false" @default.
- W2618873122 magId "2618873122" @default.
- W2618873122 workType "article" @default.