Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912489206> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2912489206 endingPage "21" @default.
- W2912489206 startingPage "1" @default.
- W2912489206 abstract "We present ‘Ribbon Proofs’, a graphical proof system for the Logic of Bunched Implications (BI). We give the informal, graphical, notation, we formalise the system algebraically and sketch the proof of its soundness and completeness. We discuss the spatial and geometrical nature of the proof system and its relation to BI's spatial model theory." @default.
- W2912489206 created "2019-02-21" @default.
- W2912489206 creator A5074958010 @default.
- W2912489206 date "2003-01-01" @default.
- W2912489206 modified "2023-09-25" @default.
- W2912489206 title "Ribbon Proofs" @default.
- W2912489206 cites W1495368328 @default.
- W2912489206 cites W1591716390 @default.
- W2912489206 cites W1991080220 @default.
- W2912489206 cites W2047674753 @default.
- W2912489206 doi "https://doi.org/10.1016/s1571-0661(03)50001-9" @default.
- W2912489206 hasPublicationYear "2003" @default.
- W2912489206 type Work @default.
- W2912489206 sameAs 2912489206 @default.
- W2912489206 citedByCount "1" @default.
- W2912489206 countsByYear W29124892062013 @default.
- W2912489206 crossrefType "journal-article" @default.
- W2912489206 hasAuthorship W2912489206A5074958010 @default.
- W2912489206 hasBestOaLocation W29124892061 @default.
- W2912489206 hasConcept C108710211 @default.
- W2912489206 hasConcept C11413529 @default.
- W2912489206 hasConcept C134306372 @default.
- W2912489206 hasConcept C136119220 @default.
- W2912489206 hasConcept C17231256 @default.
- W2912489206 hasConcept C195653647 @default.
- W2912489206 hasConcept C199343813 @default.
- W2912489206 hasConcept C199360897 @default.
- W2912489206 hasConcept C202444582 @default.
- W2912489206 hasConcept C203265346 @default.
- W2912489206 hasConcept C2318724 @default.
- W2912489206 hasConcept C2524010 @default.
- W2912489206 hasConcept C2777686260 @default.
- W2912489206 hasConcept C2779231336 @default.
- W2912489206 hasConcept C2780392137 @default.
- W2912489206 hasConcept C33923547 @default.
- W2912489206 hasConcept C39920170 @default.
- W2912489206 hasConcept C41008148 @default.
- W2912489206 hasConcept C45357846 @default.
- W2912489206 hasConcept C71924100 @default.
- W2912489206 hasConcept C94375191 @default.
- W2912489206 hasConceptScore W2912489206C108710211 @default.
- W2912489206 hasConceptScore W2912489206C11413529 @default.
- W2912489206 hasConceptScore W2912489206C134306372 @default.
- W2912489206 hasConceptScore W2912489206C136119220 @default.
- W2912489206 hasConceptScore W2912489206C17231256 @default.
- W2912489206 hasConceptScore W2912489206C195653647 @default.
- W2912489206 hasConceptScore W2912489206C199343813 @default.
- W2912489206 hasConceptScore W2912489206C199360897 @default.
- W2912489206 hasConceptScore W2912489206C202444582 @default.
- W2912489206 hasConceptScore W2912489206C203265346 @default.
- W2912489206 hasConceptScore W2912489206C2318724 @default.
- W2912489206 hasConceptScore W2912489206C2524010 @default.
- W2912489206 hasConceptScore W2912489206C2777686260 @default.
- W2912489206 hasConceptScore W2912489206C2779231336 @default.
- W2912489206 hasConceptScore W2912489206C2780392137 @default.
- W2912489206 hasConceptScore W2912489206C33923547 @default.
- W2912489206 hasConceptScore W2912489206C39920170 @default.
- W2912489206 hasConceptScore W2912489206C41008148 @default.
- W2912489206 hasConceptScore W2912489206C45357846 @default.
- W2912489206 hasConceptScore W2912489206C71924100 @default.
- W2912489206 hasConceptScore W2912489206C94375191 @default.
- W2912489206 hasLocation W29124892061 @default.
- W2912489206 hasOpenAccess W2912489206 @default.
- W2912489206 hasPrimaryLocation W29124892061 @default.
- W2912489206 hasRelatedWork W1484252365 @default.
- W2912489206 hasRelatedWork W1519265079 @default.
- W2912489206 hasRelatedWork W1981809958 @default.
- W2912489206 hasRelatedWork W2010649834 @default.
- W2912489206 hasRelatedWork W2078790484 @default.
- W2912489206 hasRelatedWork W2114558609 @default.
- W2912489206 hasRelatedWork W2115401928 @default.
- W2912489206 hasRelatedWork W2404743010 @default.
- W2912489206 hasRelatedWork W2912489206 @default.
- W2912489206 hasRelatedWork W2510312343 @default.
- W2912489206 hasVolume "83" @default.
- W2912489206 isParatext "false" @default.
- W2912489206 isRetracted "false" @default.
- W2912489206 magId "2912489206" @default.
- W2912489206 workType "article" @default.