Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287639019> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W4287639019 abstract "The logic of Bunched Implications (BI) freely combines additive and multiplicative connectives, including implications; however, despite its well-studied proof theory, proof-search in BI has always been a difficult problem. The focusing principle is a restriction of the proof-search space that can capture various goal-directed proof-search procedures. In this paper, we show that focused proof-search is complete for BI by first reformulating the traditional bunched sequent calculus using the simpler data-structure of nested sequents, following with a polarised and focused variant that we show is sound and complete via a cut-elimination argument. This establishes an operational semantics for focused proof-search in the logic of Bunched Implications." @default.
- W4287639019 created "2022-07-25" @default.
- W4287639019 creator A5002636759 @default.
- W4287639019 creator A5083790955 @default.
- W4287639019 date "2020-10-16" @default.
- W4287639019 modified "2023-09-30" @default.
- W4287639019 title "Focused Proof-search in the Logic of Bunched Implications" @default.
- W4287639019 doi "https://doi.org/10.48550/arxiv.2010.08352" @default.
- W4287639019 hasPublicationYear "2020" @default.
- W4287639019 type Work @default.
- W4287639019 citedByCount "0" @default.
- W4287639019 crossrefType "posted-content" @default.
- W4287639019 hasAuthorship W4287639019A5002636759 @default.
- W4287639019 hasAuthorship W4287639019A5083790955 @default.
- W4287639019 hasBestOaLocation W42876390191 @default.
- W4287639019 hasConcept C102993220 @default.
- W4287639019 hasConcept C105605280 @default.
- W4287639019 hasConcept C108710211 @default.
- W4287639019 hasConcept C110039528 @default.
- W4287639019 hasConcept C111919701 @default.
- W4287639019 hasConcept C11413529 @default.
- W4287639019 hasConcept C118615104 @default.
- W4287639019 hasConcept C124978682 @default.
- W4287639019 hasConcept C184337299 @default.
- W4287639019 hasConcept C185592680 @default.
- W4287639019 hasConcept C195653647 @default.
- W4287639019 hasConcept C199343813 @default.
- W4287639019 hasConcept C199360897 @default.
- W4287639019 hasConcept C202854965 @default.
- W4287639019 hasConcept C203659156 @default.
- W4287639019 hasConcept C2318724 @default.
- W4287639019 hasConcept C2524010 @default.
- W4287639019 hasConcept C2777686260 @default.
- W4287639019 hasConcept C2778572836 @default.
- W4287639019 hasConcept C28077239 @default.
- W4287639019 hasConcept C33923547 @default.
- W4287639019 hasConcept C41008148 @default.
- W4287639019 hasConcept C55493867 @default.
- W4287639019 hasConcept C62073222 @default.
- W4287639019 hasConcept C6489637 @default.
- W4287639019 hasConcept C65880906 @default.
- W4287639019 hasConcept C71924100 @default.
- W4287639019 hasConcept C80444323 @default.
- W4287639019 hasConcept C80467683 @default.
- W4287639019 hasConcept C89421646 @default.
- W4287639019 hasConcept C98184364 @default.
- W4287639019 hasConceptScore W4287639019C102993220 @default.
- W4287639019 hasConceptScore W4287639019C105605280 @default.
- W4287639019 hasConceptScore W4287639019C108710211 @default.
- W4287639019 hasConceptScore W4287639019C110039528 @default.
- W4287639019 hasConceptScore W4287639019C111919701 @default.
- W4287639019 hasConceptScore W4287639019C11413529 @default.
- W4287639019 hasConceptScore W4287639019C118615104 @default.
- W4287639019 hasConceptScore W4287639019C124978682 @default.
- W4287639019 hasConceptScore W4287639019C184337299 @default.
- W4287639019 hasConceptScore W4287639019C185592680 @default.
- W4287639019 hasConceptScore W4287639019C195653647 @default.
- W4287639019 hasConceptScore W4287639019C199343813 @default.
- W4287639019 hasConceptScore W4287639019C199360897 @default.
- W4287639019 hasConceptScore W4287639019C202854965 @default.
- W4287639019 hasConceptScore W4287639019C203659156 @default.
- W4287639019 hasConceptScore W4287639019C2318724 @default.
- W4287639019 hasConceptScore W4287639019C2524010 @default.
- W4287639019 hasConceptScore W4287639019C2777686260 @default.
- W4287639019 hasConceptScore W4287639019C2778572836 @default.
- W4287639019 hasConceptScore W4287639019C28077239 @default.
- W4287639019 hasConceptScore W4287639019C33923547 @default.
- W4287639019 hasConceptScore W4287639019C41008148 @default.
- W4287639019 hasConceptScore W4287639019C55493867 @default.
- W4287639019 hasConceptScore W4287639019C62073222 @default.
- W4287639019 hasConceptScore W4287639019C6489637 @default.
- W4287639019 hasConceptScore W4287639019C65880906 @default.
- W4287639019 hasConceptScore W4287639019C71924100 @default.
- W4287639019 hasConceptScore W4287639019C80444323 @default.
- W4287639019 hasConceptScore W4287639019C80467683 @default.
- W4287639019 hasConceptScore W4287639019C89421646 @default.
- W4287639019 hasConceptScore W4287639019C98184364 @default.
- W4287639019 hasLocation W42876390191 @default.
- W4287639019 hasLocation W42876390192 @default.
- W4287639019 hasLocation W42876390193 @default.
- W4287639019 hasOpenAccess W4287639019 @default.
- W4287639019 hasPrimaryLocation W42876390191 @default.
- W4287639019 hasRelatedWork W1506616756 @default.
- W4287639019 hasRelatedWork W1603245130 @default.
- W4287639019 hasRelatedWork W2108922266 @default.
- W4287639019 hasRelatedWork W2134137673 @default.
- W4287639019 hasRelatedWork W2156307264 @default.
- W4287639019 hasRelatedWork W2591349272 @default.
- W4287639019 hasRelatedWork W3035168121 @default.
- W4287639019 hasRelatedWork W3092820369 @default.
- W4287639019 hasRelatedWork W3139860392 @default.
- W4287639019 hasRelatedWork W4287639019 @default.
- W4287639019 isParatext "false" @default.
- W4287639019 isRetracted "false" @default.
- W4287639019 workType "article" @default.