FRINK Linked Data Fragments server

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

• W2046869259 endingPage "500" @default.
• W2046869259 startingPage "435" @default.
• W2046869259 abstract "The logic of Bunched Implications, through both its intuitionistic version ( BI ) and one of its classical versions, called Boolean BI ( BBI ), serves as a logical basis to spatial or separation logic frameworks. In BI , the logical implication is interpreted intuitionistically whereas it is generally interpreted classically in spatial or separation logics, as in BBI . In this paper, we aim to give some new insights into the semantic relations between BI and BBI . Then we propose a sound and complete syntactic constraints based framework for the Kripke semantics of both BI and BBI , a sound labelled tableau proof system for BBI , and a representation theorem relating the syntactic models of BI to those of BBI . Finally, we deduce as our main, and unexpected, result, a sound and faithful embedding of BI into BBI ." @default.
• W2046869259 created "2016-06-24" @default.
• W2046869259 creator A5031692169 @default.
• W2046869259 creator A5069943669 @default.
• W2046869259 date "2009-06-01" @default.
• W2046869259 modified "2023-10-17" @default.
• W2046869259 title "Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding" @default.
• W2046869259 cites W1495368328 @default.
• W2046869259 cites W1505383182 @default.
• W2046869259 cites W1991670662 @default.
• W2046869259 cites W2009372148 @default.
• W2046869259 cites W2023190144 @default.
• W2046869259 cites W2043220080 @default.
• W2046869259 cites W2050700536 @default.
• W2046869259 cites W2057731278 @default.
• W2046869259 cites W2075644848 @default.
• W2046869259 cites W2097980898 @default.
• W2046869259 cites W2122408999 @default.
• W2046869259 cites W2134977256 @default.
• W2046869259 cites W2166612569 @default.
• W2046869259 cites W4256027310 @default.
• W2046869259 cites W4301968143 @default.
• W2046869259 doi "https://doi.org/10.1017/s0960129509007567" @default.
• W2046869259 hasPublicationYear "2009" @default.
• W2046869259 type Work @default.
• W2046869259 sameAs 2046869259 @default.
• W2046869259 citedByCount "26" @default.
• W2046869259 countsByYear W20468692592012 @default.
• W2046869259 countsByYear W20468692592013 @default.
• W2046869259 countsByYear W20468692592014 @default.
• W2046869259 countsByYear W20468692592015 @default.
• W2046869259 countsByYear W20468692592017 @default.
• W2046869259 countsByYear W20468692592018 @default.
• W2046869259 countsByYear W20468692592020 @default.
• W2046869259 crossrefType "journal-article" @default.
• W2046869259 hasAuthorship W2046869259A5031692169 @default.
• W2046869259 hasAuthorship W2046869259A5069943669 @default.
• W2046869259 hasBestOaLocation W20468692592 @default.
• W2046869259 hasConcept C102993220 @default.
• W2046869259 hasConcept C118615104 @default.
• W2046869259 hasConcept C12426560 @default.
• W2046869259 hasConcept C134752490 @default.
• W2046869259 hasConcept C136119220 @default.
• W2046869259 hasConcept C154945302 @default.
• W2046869259 hasConcept C160131679 @default.
• W2046869259 hasConcept C17744445 @default.
• W2046869259 hasConcept C178421362 @default.
• W2046869259 hasConcept C199539241 @default.
• W2046869259 hasConcept C202444582 @default.
• W2046869259 hasConcept C2524010 @default.
• W2046869259 hasConcept C25343380 @default.
• W2046869259 hasConcept C2776230367 @default.
• W2046869259 hasConcept C2776359362 @default.
• W2046869259 hasConcept C28077239 @default.
• W2046869259 hasConcept C33203268 @default.
• W2046869259 hasConcept C33923547 @default.
• W2046869259 hasConcept C41008148 @default.
• W2046869259 hasConcept C41608201 @default.
• W2046869259 hasConcept C77088390 @default.
• W2046869259 hasConcept C80444323 @default.
• W2046869259 hasConcept C94625758 @default.
• W2046869259 hasConceptScore W2046869259C102993220 @default.
• W2046869259 hasConceptScore W2046869259C118615104 @default.
• W2046869259 hasConceptScore W2046869259C12426560 @default.
• W2046869259 hasConceptScore W2046869259C134752490 @default.
• W2046869259 hasConceptScore W2046869259C136119220 @default.
• W2046869259 hasConceptScore W2046869259C154945302 @default.
• W2046869259 hasConceptScore W2046869259C160131679 @default.
• W2046869259 hasConceptScore W2046869259C17744445 @default.
• W2046869259 hasConceptScore W2046869259C178421362 @default.
• W2046869259 hasConceptScore W2046869259C199539241 @default.
• W2046869259 hasConceptScore W2046869259C202444582 @default.
• W2046869259 hasConceptScore W2046869259C2524010 @default.
• W2046869259 hasConceptScore W2046869259C25343380 @default.
• W2046869259 hasConceptScore W2046869259C2776230367 @default.
• W2046869259 hasConceptScore W2046869259C2776359362 @default.
• W2046869259 hasConceptScore W2046869259C28077239 @default.
• W2046869259 hasConceptScore W2046869259C33203268 @default.
• W2046869259 hasConceptScore W2046869259C33923547 @default.
• W2046869259 hasConceptScore W2046869259C41008148 @default.
• W2046869259 hasConceptScore W2046869259C41608201 @default.
• W2046869259 hasConceptScore W2046869259C77088390 @default.
• W2046869259 hasConceptScore W2046869259C80444323 @default.
• W2046869259 hasConceptScore W2046869259C94625758 @default.
• W2046869259 hasIssue "3" @default.
• W2046869259 hasLocation W20468692591 @default.
• W2046869259 hasLocation W20468692592 @default.
• W2046869259 hasLocation W20468692593 @default.
• W2046869259 hasLocation W20468692594 @default.
• W2046869259 hasLocation W20468692595 @default.
• W2046869259 hasOpenAccess W2046869259 @default.
• W2046869259 hasPrimaryLocation W20468692591 @default.
• W2046869259 hasRelatedWork W1991536873 @default.
• W2046869259 hasRelatedWork W2037627602 @default.
• W2046869259 hasRelatedWork W2046869259 @default.
• W2046869259 hasRelatedWork W2186018041 @default.
• W2046869259 hasRelatedWork W2551237228 @default.
• W2046869259 hasRelatedWork W2766222296 @default.

• next