Matches in SemOpenAlex for { <https://semopenalex.org/work/W3006737761> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3006737761 abstract "Abstract We study procedures for the derivability problem of fragments of intuitionistic logic. Intuitionistic logic is known to be PSPACE-complete, with implication being one of the main contributors to this complexity. In fact, with just implication alone, we still have a PSPACE-complete logic. We study fragments of intuitionistic logic with restricted implication and develop algorithms for these fragments which are based on the proof rules. We identify a core fragment whose derivability is solvable in linear time. Adding disjunction elimination to this core gives a logic which is solvable in co-NP. These sub-procedures are applicable to a wide variety of logics with rules of a similar flavour. We also show that we cannot do better than co-NP whenever disjunction elimination interacts with other rules." @default.
- W3006737761 created "2020-03-06" @default.
- W3006737761 creator A5044226565 @default.
- W3006737761 creator A5049510914 @default.
- W3006737761 creator A5051075418 @default.
- W3006737761 date "2020-02-26" @default.
- W3006737761 modified "2023-09-24" @default.
- W3006737761 title "The complexity of disjunction in intuitionistic logic" @default.
- W3006737761 cites W1607166944 @default.
- W3006737761 cites W1963559850 @default.
- W3006737761 cites W1965384668 @default.
- W3006737761 cites W1973745704 @default.
- W3006737761 cites W1987339920 @default.
- W3006737761 cites W1991670662 @default.
- W3006737761 cites W2029693536 @default.
- W3006737761 cites W2089024112 @default.
- W3006737761 cites W2106716518 @default.
- W3006737761 cites W2130123502 @default.
- W3006737761 cites W2159914860 @default.
- W3006737761 doi "https://doi.org/10.1093/logcom/exaa018" @default.
- W3006737761 hasPublicationYear "2020" @default.
- W3006737761 type Work @default.
- W3006737761 sameAs 3006737761 @default.
- W3006737761 citedByCount "0" @default.
- W3006737761 crossrefType "journal-article" @default.
- W3006737761 hasAuthorship W3006737761A5044226565 @default.
- W3006737761 hasAuthorship W3006737761A5049510914 @default.
- W3006737761 hasAuthorship W3006737761A5051075418 @default.
- W3006737761 hasConcept C102993220 @default.
- W3006737761 hasConcept C105795698 @default.
- W3006737761 hasConcept C11413529 @default.
- W3006737761 hasConcept C118615104 @default.
- W3006737761 hasConcept C136197465 @default.
- W3006737761 hasConcept C178421362 @default.
- W3006737761 hasConcept C179799912 @default.
- W3006737761 hasConcept C197685441 @default.
- W3006737761 hasConcept C199360897 @default.
- W3006737761 hasConcept C2164484 @default.
- W3006737761 hasConcept C2776235265 @default.
- W3006737761 hasConcept C28077239 @default.
- W3006737761 hasConcept C33203268 @default.
- W3006737761 hasConcept C33923547 @default.
- W3006737761 hasConcept C41008148 @default.
- W3006737761 hasConcept C46274116 @default.
- W3006737761 hasConcept C76155785 @default.
- W3006737761 hasConcept C80444323 @default.
- W3006737761 hasConceptScore W3006737761C102993220 @default.
- W3006737761 hasConceptScore W3006737761C105795698 @default.
- W3006737761 hasConceptScore W3006737761C11413529 @default.
- W3006737761 hasConceptScore W3006737761C118615104 @default.
- W3006737761 hasConceptScore W3006737761C136197465 @default.
- W3006737761 hasConceptScore W3006737761C178421362 @default.
- W3006737761 hasConceptScore W3006737761C179799912 @default.
- W3006737761 hasConceptScore W3006737761C197685441 @default.
- W3006737761 hasConceptScore W3006737761C199360897 @default.
- W3006737761 hasConceptScore W3006737761C2164484 @default.
- W3006737761 hasConceptScore W3006737761C2776235265 @default.
- W3006737761 hasConceptScore W3006737761C28077239 @default.
- W3006737761 hasConceptScore W3006737761C33203268 @default.
- W3006737761 hasConceptScore W3006737761C33923547 @default.
- W3006737761 hasConceptScore W3006737761C41008148 @default.
- W3006737761 hasConceptScore W3006737761C46274116 @default.
- W3006737761 hasConceptScore W3006737761C76155785 @default.
- W3006737761 hasConceptScore W3006737761C80444323 @default.
- W3006737761 hasFunder F4320322753 @default.
- W3006737761 hasLocation W30067377611 @default.
- W3006737761 hasOpenAccess W3006737761 @default.
- W3006737761 hasPrimaryLocation W30067377611 @default.
- W3006737761 hasRelatedWork W10111591 @default.
- W3006737761 hasRelatedWork W10567627 @default.
- W3006737761 hasRelatedWork W11254605 @default.
- W3006737761 hasRelatedWork W3225856 @default.
- W3006737761 hasRelatedWork W5629099 @default.
- W3006737761 hasRelatedWork W6135152 @default.
- W3006737761 hasRelatedWork W7316915 @default.
- W3006737761 hasRelatedWork W8130393 @default.
- W3006737761 hasRelatedWork W8902384 @default.
- W3006737761 hasRelatedWork W9863921 @default.
- W3006737761 isParatext "false" @default.
- W3006737761 isRetracted "false" @default.
- W3006737761 magId "3006737761" @default.
- W3006737761 workType "article" @default.