Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951681572> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2951681572 abstract "We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional logic. This complements a now classic result of Skvortsova for the Medvedev lattice." @default.
- W2951681572 created "2019-06-27" @default.
- W2951681572 creator A5068865870 @default.
- W2951681572 creator A5076144323 @default.
- W2951681572 date "2010-03-23" @default.
- W2951681572 modified "2023-09-27" @default.
- W2951681572 title "Intuitionistic Logic and Muchnik Degrees" @default.
- W2951681572 cites W1500907847 @default.
- W2951681572 cites W2000863671 @default.
- W2951681572 cites W2051685387 @default.
- W2951681572 cites W2059499920 @default.
- W2951681572 cites W2063323156 @default.
- W2951681572 cites W2084684966 @default.
- W2951681572 cites W2088351660 @default.
- W2951681572 cites W2132240793 @default.
- W2951681572 cites W2153885813 @default.
- W2951681572 cites W2160667926 @default.
- W2951681572 cites W2332483421 @default.
- W2951681572 cites W2764508251 @default.
- W2951681572 cites W3127823229 @default.
- W2951681572 hasPublicationYear "2010" @default.
- W2951681572 type Work @default.
- W2951681572 sameAs 2951681572 @default.
- W2951681572 citedByCount "1" @default.
- W2951681572 crossrefType "posted-content" @default.
- W2951681572 hasAuthorship W2951681572A5068865870 @default.
- W2951681572 hasAuthorship W2951681572A5076144323 @default.
- W2951681572 hasConcept C118615104 @default.
- W2951681572 hasConcept C144237770 @default.
- W2951681572 hasConcept C178421362 @default.
- W2951681572 hasConcept C33923547 @default.
- W2951681572 hasConcept C41008148 @default.
- W2951681572 hasConcept C69562738 @default.
- W2951681572 hasConceptScore W2951681572C118615104 @default.
- W2951681572 hasConceptScore W2951681572C144237770 @default.
- W2951681572 hasConceptScore W2951681572C178421362 @default.
- W2951681572 hasConceptScore W2951681572C33923547 @default.
- W2951681572 hasConceptScore W2951681572C41008148 @default.
- W2951681572 hasConceptScore W2951681572C69562738 @default.
- W2951681572 hasLocation W29516815721 @default.
- W2951681572 hasOpenAccess W2951681572 @default.
- W2951681572 hasPrimaryLocation W29516815721 @default.
- W2951681572 hasRelatedWork W1504271387 @default.
- W2951681572 hasRelatedWork W1595342745 @default.
- W2951681572 hasRelatedWork W1963559850 @default.
- W2951681572 hasRelatedWork W2023681781 @default.
- W2951681572 hasRelatedWork W2038737679 @default.
- W2951681572 hasRelatedWork W2088351660 @default.
- W2951681572 hasRelatedWork W2130837870 @default.
- W2951681572 hasRelatedWork W2134877291 @default.
- W2951681572 hasRelatedWork W2154555144 @default.
- W2951681572 hasRelatedWork W2163197731 @default.
- W2951681572 hasRelatedWork W2290041791 @default.
- W2951681572 hasRelatedWork W2409304415 @default.
- W2951681572 hasRelatedWork W2754467536 @default.
- W2951681572 hasRelatedWork W280953097 @default.
- W2951681572 hasRelatedWork W2963199370 @default.
- W2951681572 hasRelatedWork W3003856596 @default.
- W2951681572 hasRelatedWork W3196965318 @default.
- W2951681572 hasRelatedWork W3199591488 @default.
- W2951681572 hasRelatedWork W652940635 @default.
- W2951681572 isParatext "false" @default.
- W2951681572 isRetracted "false" @default.
- W2951681572 magId "2951681572" @default.
- W2951681572 workType "article" @default.