Matches in SemOpenAlex for { <https://semopenalex.org/work/W2530146152> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2530146152 abstract "We study versions of second-order bounded arithmetic where induction and comprehension formulae are positive or where the underlying logic is intuitionistic, examining their relationships to monotone and deep inference proof systems for propositional logic." @default.
- W2530146152 created "2016-10-21" @default.
- W2530146152 creator A5089810498 @default.
- W2530146152 date "2016-07-05" @default.
- W2530146152 modified "2023-10-10" @default.
- W2530146152 title "From positive and intuitionistic bounded arithmetic to monotone proof complexity" @default.
- W2530146152 cites W1537230380 @default.
- W2530146152 cites W1546322673 @default.
- W2530146152 cites W1811725859 @default.
- W2530146152 cites W1970822788 @default.
- W2530146152 cites W1987943786 @default.
- W2530146152 cites W2019040320 @default.
- W2530146152 cites W2103489902 @default.
- W2530146152 cites W2117353155 @default.
- W2530146152 cites W2141654045 @default.
- W2530146152 cites W2149062436 @default.
- W2530146152 cites W2158912767 @default.
- W2530146152 cites W2164449415 @default.
- W2530146152 cites W2164916433 @default.
- W2530146152 cites W2169378607 @default.
- W2530146152 cites W2492280620 @default.
- W2530146152 cites W2763102664 @default.
- W2530146152 cites W3123028025 @default.
- W2530146152 cites W45015213 @default.
- W2530146152 doi "https://doi.org/10.1145/2933575.2934570" @default.
- W2530146152 hasPublicationYear "2016" @default.
- W2530146152 type Work @default.
- W2530146152 sameAs 2530146152 @default.
- W2530146152 citedByCount "0" @default.
- W2530146152 crossrefType "proceedings-article" @default.
- W2530146152 hasAuthorship W2530146152A5089810498 @default.
- W2530146152 hasBestOaLocation W25301461522 @default.
- W2530146152 hasConcept C102993220 @default.
- W2530146152 hasConcept C118615104 @default.
- W2530146152 hasConcept C134306372 @default.
- W2530146152 hasConcept C136119220 @default.
- W2530146152 hasConcept C14523651 @default.
- W2530146152 hasConcept C154945302 @default.
- W2530146152 hasConcept C178421362 @default.
- W2530146152 hasConcept C202444582 @default.
- W2530146152 hasConcept C2524010 @default.
- W2530146152 hasConcept C2776214188 @default.
- W2530146152 hasConcept C2834757 @default.
- W2530146152 hasConcept C33203268 @default.
- W2530146152 hasConcept C33923547 @default.
- W2530146152 hasConcept C34388435 @default.
- W2530146152 hasConcept C41008148 @default.
- W2530146152 hasConcept C69562738 @default.
- W2530146152 hasConcept C80444323 @default.
- W2530146152 hasConcept C94375191 @default.
- W2530146152 hasConceptScore W2530146152C102993220 @default.
- W2530146152 hasConceptScore W2530146152C118615104 @default.
- W2530146152 hasConceptScore W2530146152C134306372 @default.
- W2530146152 hasConceptScore W2530146152C136119220 @default.
- W2530146152 hasConceptScore W2530146152C14523651 @default.
- W2530146152 hasConceptScore W2530146152C154945302 @default.
- W2530146152 hasConceptScore W2530146152C178421362 @default.
- W2530146152 hasConceptScore W2530146152C202444582 @default.
- W2530146152 hasConceptScore W2530146152C2524010 @default.
- W2530146152 hasConceptScore W2530146152C2776214188 @default.
- W2530146152 hasConceptScore W2530146152C2834757 @default.
- W2530146152 hasConceptScore W2530146152C33203268 @default.
- W2530146152 hasConceptScore W2530146152C33923547 @default.
- W2530146152 hasConceptScore W2530146152C34388435 @default.
- W2530146152 hasConceptScore W2530146152C41008148 @default.
- W2530146152 hasConceptScore W2530146152C69562738 @default.
- W2530146152 hasConceptScore W2530146152C80444323 @default.
- W2530146152 hasConceptScore W2530146152C94375191 @default.
- W2530146152 hasFunder F4320320883 @default.
- W2530146152 hasLocation W25301461521 @default.
- W2530146152 hasLocation W25301461522 @default.
- W2530146152 hasLocation W25301461523 @default.
- W2530146152 hasLocation W25301461524 @default.
- W2530146152 hasLocation W25301461525 @default.
- W2530146152 hasLocation W25301461526 @default.
- W2530146152 hasOpenAccess W2530146152 @default.
- W2530146152 hasPrimaryLocation W25301461521 @default.
- W2530146152 hasRelatedWork W1907513460 @default.
- W2530146152 hasRelatedWork W1986625420 @default.
- W2530146152 hasRelatedWork W2006339381 @default.
- W2530146152 hasRelatedWork W2042899834 @default.
- W2530146152 hasRelatedWork W2121836469 @default.
- W2530146152 hasRelatedWork W2167518895 @default.
- W2530146152 hasRelatedWork W2227896468 @default.
- W2530146152 hasRelatedWork W2502080888 @default.
- W2530146152 hasRelatedWork W2753667555 @default.
- W2530146152 hasRelatedWork W3200682096 @default.
- W2530146152 isParatext "false" @default.
- W2530146152 isRetracted "false" @default.
- W2530146152 magId "2530146152" @default.
- W2530146152 workType "article" @default.