FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1983988429> ?p ?o ?g. }

• W1983988429 endingPage "4006" @default.
• W1983988429 startingPage "3992" @default.
• W1983988429 abstract "We systematically identify a large class of substructural logics that satisfy the disjunction property (DP), and show that every consistent substructural logic with the DP is PSPACE-hard. Our results are obtained by using algebraic techniques. PSPACE-completeness for many of these logics is furthermore established by proof theoretic arguments." @default.
• W1983988429 created "2016-06-24" @default.
• W1983988429 creator A5055041134 @default.
• W1983988429 creator A5081711582 @default.
• W1983988429 date "2011-07-01" @default.
• W1983988429 modified "2023-09-27" @default.
• W1983988429 title "Disjunction property and complexity of substructural logics" @default.
• W1983988429 cites W1504546745 @default.
• W1983988429 cites W1587331436 @default.
• W1983988429 cites W1991670662 @default.
• W1983988429 cites W2008132476 @default.
• W1983988429 cites W2008823310 @default.
• W1983988429 cites W2021289373 @default.
• W1983988429 cites W2061837253 @default.
• W1983988429 cites W2062581225 @default.
• W1983988429 cites W2074283846 @default.
• W1983988429 cites W2076906261 @default.
• W1983988429 cites W2150339067 @default.
• W1983988429 cites W2160771441 @default.
• W1983988429 cites W2911865844 @default.
• W1983988429 doi "https://doi.org/10.1016/j.tcs.2011.04.004" @default.
• W1983988429 hasPublicationYear "2011" @default.
• W1983988429 type Work @default.
• W1983988429 sameAs 1983988429 @default.
• W1983988429 citedByCount "27" @default.
• W1983988429 countsByYear W19839884292012 @default.
• W1983988429 countsByYear W19839884292013 @default.
• W1983988429 countsByYear W19839884292014 @default.
• W1983988429 countsByYear W19839884292015 @default.
• W1983988429 countsByYear W19839884292016 @default.
• W1983988429 countsByYear W19839884292017 @default.
• W1983988429 countsByYear W19839884292018 @default.
• W1983988429 countsByYear W19839884292019 @default.
• W1983988429 countsByYear W19839884292020 @default.
• W1983988429 countsByYear W19839884292021 @default.
• W1983988429 crossrefType "journal-article" @default.
• W1983988429 hasAuthorship W1983988429A5055041134 @default.
• W1983988429 hasAuthorship W1983988429A5081711582 @default.
• W1983988429 hasConcept C102993220 @default.
• W1983988429 hasConcept C111472728 @default.
• W1983988429 hasConcept C11413529 @default.
• W1983988429 hasConcept C118615104 @default.
• W1983988429 hasConcept C134306372 @default.
• W1983988429 hasConcept C136119220 @default.
• W1983988429 hasConcept C138885662 @default.
• W1983988429 hasConcept C144760519 @default.
• W1983988429 hasConcept C150889026 @default.
• W1983988429 hasConcept C154945302 @default.
• W1983988429 hasConcept C17231256 @default.
• W1983988429 hasConcept C179799912 @default.
• W1983988429 hasConcept C189950617 @default.
• W1983988429 hasConcept C197685441 @default.
• W1983988429 hasConcept C202444582 @default.
• W1983988429 hasConcept C2777212361 @default.
• W1983988429 hasConcept C311688 @default.
• W1983988429 hasConcept C33923547 @default.
• W1983988429 hasConcept C39637292 @default.
• W1983988429 hasConcept C41008148 @default.
• W1983988429 hasConcept C42011625 @default.
• W1983988429 hasConcept C5263885 @default.
• W1983988429 hasConcept C58166 @default.
• W1983988429 hasConcept C80444323 @default.
• W1983988429 hasConcept C86602344 @default.
• W1983988429 hasConcept C9376300 @default.
• W1983988429 hasConceptScore W1983988429C102993220 @default.
• W1983988429 hasConceptScore W1983988429C111472728 @default.
• W1983988429 hasConceptScore W1983988429C11413529 @default.
• W1983988429 hasConceptScore W1983988429C118615104 @default.
• W1983988429 hasConceptScore W1983988429C134306372 @default.
• W1983988429 hasConceptScore W1983988429C136119220 @default.
• W1983988429 hasConceptScore W1983988429C138885662 @default.
• W1983988429 hasConceptScore W1983988429C144760519 @default.
• W1983988429 hasConceptScore W1983988429C150889026 @default.
• W1983988429 hasConceptScore W1983988429C154945302 @default.
• W1983988429 hasConceptScore W1983988429C17231256 @default.
• W1983988429 hasConceptScore W1983988429C179799912 @default.
• W1983988429 hasConceptScore W1983988429C189950617 @default.
• W1983988429 hasConceptScore W1983988429C197685441 @default.
• W1983988429 hasConceptScore W1983988429C202444582 @default.
• W1983988429 hasConceptScore W1983988429C2777212361 @default.
• W1983988429 hasConceptScore W1983988429C311688 @default.
• W1983988429 hasConceptScore W1983988429C33923547 @default.
• W1983988429 hasConceptScore W1983988429C39637292 @default.
• W1983988429 hasConceptScore W1983988429C41008148 @default.
• W1983988429 hasConceptScore W1983988429C42011625 @default.
• W1983988429 hasConceptScore W1983988429C5263885 @default.
• W1983988429 hasConceptScore W1983988429C58166 @default.
• W1983988429 hasConceptScore W1983988429C80444323 @default.
• W1983988429 hasConceptScore W1983988429C86602344 @default.
• W1983988429 hasConceptScore W1983988429C9376300 @default.
• W1983988429 hasIssue "31" @default.
• W1983988429 hasLocation W19839884291 @default.
• W1983988429 hasOpenAccess W1983988429 @default.
• W1983988429 hasPrimaryLocation W19839884291 @default.
• W1983988429 hasRelatedWork W1506906837 @default.
• W1983988429 hasRelatedWork W187636597 @default.
• W1983988429 hasRelatedWork W1972216634 @default.
• W1983988429 hasRelatedWork W1983988429 @default.

• next