Matches in SemOpenAlex for { <https://semopenalex.org/work/W2969458924> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2969458924 endingPage "276" @default.
- W2969458924 startingPage "259" @default.
- W2969458924 abstract "The main part of a classical combinatorial proof is a skew fibration, which precisely captures the behavior of weakening and contraction. Relaxing the presence of these two rules leads to certain substructural logics and substructural proof theory. In this paper we investigate what happens if we replace the skew fibration by other kinds of graph homomorphism. This leads us to new logics and proof systems that we call combinatorial." @default.
- W2969458924 created "2019-08-29" @default.
- W2969458924 creator A5003505679 @default.
- W2969458924 creator A5029941199 @default.
- W2969458924 date "2019-01-01" @default.
- W2969458924 modified "2023-09-26" @default.
- W2969458924 title "Towards a Combinatorial Proof Theory" @default.
- W2969458924 cites W1598954248 @default.
- W2969458924 cites W1811725859 @default.
- W2969458924 cites W1988083342 @default.
- W2969458924 cites W2071146589 @default.
- W2969458924 cites W2071402192 @default.
- W2969458924 cites W2073840571 @default.
- W2969458924 cites W2076596727 @default.
- W2969458924 cites W2082734160 @default.
- W2969458924 cites W2102625227 @default.
- W2969458924 cites W2106988030 @default.
- W2969458924 cites W2116328015 @default.
- W2969458924 cites W2117737141 @default.
- W2969458924 cites W2160595899 @default.
- W2969458924 cites W2168699673 @default.
- W2969458924 cites W2811365892 @default.
- W2969458924 cites W2913653100 @default.
- W2969458924 cites W2953246618 @default.
- W2969458924 cites W2969696171 @default.
- W2969458924 doi "https://doi.org/10.1007/978-3-030-29026-9_15" @default.
- W2969458924 hasPublicationYear "2019" @default.
- W2969458924 type Work @default.
- W2969458924 sameAs 2969458924 @default.
- W2969458924 citedByCount "6" @default.
- W2969458924 countsByYear W29694589242019 @default.
- W2969458924 countsByYear W29694589242020 @default.
- W2969458924 countsByYear W29694589242021 @default.
- W2969458924 countsByYear W29694589242022 @default.
- W2969458924 crossrefType "book-chapter" @default.
- W2969458924 hasAuthorship W2969458924A5003505679 @default.
- W2969458924 hasAuthorship W2969458924A5029941199 @default.
- W2969458924 hasBestOaLocation W29694589242 @default.
- W2969458924 hasConcept C108710211 @default.
- W2969458924 hasConcept C118539577 @default.
- W2969458924 hasConcept C118615104 @default.
- W2969458924 hasConcept C195653647 @default.
- W2969458924 hasConcept C202444582 @default.
- W2969458924 hasConcept C2318724 @default.
- W2969458924 hasConcept C2524010 @default.
- W2969458924 hasConcept C33923547 @default.
- W2969458924 hasConcept C4042151 @default.
- W2969458924 hasConcept C41008148 @default.
- W2969458924 hasConcept C43711488 @default.
- W2969458924 hasConcept C54486226 @default.
- W2969458924 hasConcept C5961521 @default.
- W2969458924 hasConcept C76155785 @default.
- W2969458924 hasConceptScore W2969458924C108710211 @default.
- W2969458924 hasConceptScore W2969458924C118539577 @default.
- W2969458924 hasConceptScore W2969458924C118615104 @default.
- W2969458924 hasConceptScore W2969458924C195653647 @default.
- W2969458924 hasConceptScore W2969458924C202444582 @default.
- W2969458924 hasConceptScore W2969458924C2318724 @default.
- W2969458924 hasConceptScore W2969458924C2524010 @default.
- W2969458924 hasConceptScore W2969458924C33923547 @default.
- W2969458924 hasConceptScore W2969458924C4042151 @default.
- W2969458924 hasConceptScore W2969458924C41008148 @default.
- W2969458924 hasConceptScore W2969458924C43711488 @default.
- W2969458924 hasConceptScore W2969458924C54486226 @default.
- W2969458924 hasConceptScore W2969458924C5961521 @default.
- W2969458924 hasConceptScore W2969458924C76155785 @default.
- W2969458924 hasLocation W29694589241 @default.
- W2969458924 hasLocation W29694589242 @default.
- W2969458924 hasLocation W29694589243 @default.
- W2969458924 hasLocation W29694589244 @default.
- W2969458924 hasLocation W29694589245 @default.
- W2969458924 hasOpenAccess W2969458924 @default.
- W2969458924 hasPrimaryLocation W29694589241 @default.
- W2969458924 hasRelatedWork W1522592507 @default.
- W2969458924 hasRelatedWork W1641314039 @default.
- W2969458924 hasRelatedWork W2080818057 @default.
- W2969458924 hasRelatedWork W2461509449 @default.
- W2969458924 hasRelatedWork W2899975002 @default.
- W2969458924 hasRelatedWork W2969458924 @default.
- W2969458924 hasRelatedWork W3140175842 @default.
- W2969458924 hasRelatedWork W3157478331 @default.
- W2969458924 hasRelatedWork W3173957725 @default.
- W2969458924 hasRelatedWork W4200235154 @default.
- W2969458924 isParatext "false" @default.
- W2969458924 isRetracted "false" @default.
- W2969458924 magId "2969458924" @default.
- W2969458924 workType "book-chapter" @default.