Matches in SemOpenAlex for { <https://semopenalex.org/work/W1028972023> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1028972023 endingPage "31" @default.
- W1028972023 startingPage "13" @default.
- W1028972023 abstract "BI has a simple and elegant proof theory, the presentation of which we begin in this section. We start with a definition of BI as a system of natural deduction, formulated in the sequential, or linearized, style. Rather than establish the metatheory of this system in the manner of Prawitz [Prawitz, 1965], we first formulate a representation of BI’s proofs as a λ-calculus, αλ, with types given by BI’s propositions. We then establish normalization for αλ. BI’s natural deduction system was introduced in [O’Hearn and Pym, 1999, Pym, 1999]." @default.
- W1028972023 created "2016-06-24" @default.
- W1028972023 creator A5013218535 @default.
- W1028972023 date "2002-01-01" @default.
- W1028972023 modified "2023-09-23" @default.
- W1028972023 title "Natural Deduction for Propositional BI" @default.
- W1028972023 doi "https://doi.org/10.1007/978-94-017-0091-7_2" @default.
- W1028972023 hasPublicationYear "2002" @default.
- W1028972023 type Work @default.
- W1028972023 sameAs 1028972023 @default.
- W1028972023 citedByCount "0" @default.
- W1028972023 crossrefType "book-chapter" @default.
- W1028972023 hasAuthorship W1028972023A5013218535 @default.
- W1028972023 hasConcept C102993220 @default.
- W1028972023 hasConcept C108710211 @default.
- W1028972023 hasConcept C111472728 @default.
- W1028972023 hasConcept C118615104 @default.
- W1028972023 hasConcept C136119220 @default.
- W1028972023 hasConcept C136886441 @default.
- W1028972023 hasConcept C138885662 @default.
- W1028972023 hasConcept C144024400 @default.
- W1028972023 hasConcept C14523651 @default.
- W1028972023 hasConcept C191222856 @default.
- W1028972023 hasConcept C19165224 @default.
- W1028972023 hasConcept C195653647 @default.
- W1028972023 hasConcept C199343813 @default.
- W1028972023 hasConcept C199360897 @default.
- W1028972023 hasConcept C202444582 @default.
- W1028972023 hasConcept C2318724 @default.
- W1028972023 hasConcept C2524010 @default.
- W1028972023 hasConcept C2777686260 @default.
- W1028972023 hasConcept C2780586882 @default.
- W1028972023 hasConcept C33203268 @default.
- W1028972023 hasConcept C33923547 @default.
- W1028972023 hasConcept C39387531 @default.
- W1028972023 hasConcept C41008148 @default.
- W1028972023 hasConcept C62073222 @default.
- W1028972023 hasConcept C65880906 @default.
- W1028972023 hasConcept C69562738 @default.
- W1028972023 hasConcept C71924100 @default.
- W1028972023 hasConcept C85343465 @default.
- W1028972023 hasConceptScore W1028972023C102993220 @default.
- W1028972023 hasConceptScore W1028972023C108710211 @default.
- W1028972023 hasConceptScore W1028972023C111472728 @default.
- W1028972023 hasConceptScore W1028972023C118615104 @default.
- W1028972023 hasConceptScore W1028972023C136119220 @default.
- W1028972023 hasConceptScore W1028972023C136886441 @default.
- W1028972023 hasConceptScore W1028972023C138885662 @default.
- W1028972023 hasConceptScore W1028972023C144024400 @default.
- W1028972023 hasConceptScore W1028972023C14523651 @default.
- W1028972023 hasConceptScore W1028972023C191222856 @default.
- W1028972023 hasConceptScore W1028972023C19165224 @default.
- W1028972023 hasConceptScore W1028972023C195653647 @default.
- W1028972023 hasConceptScore W1028972023C199343813 @default.
- W1028972023 hasConceptScore W1028972023C199360897 @default.
- W1028972023 hasConceptScore W1028972023C202444582 @default.
- W1028972023 hasConceptScore W1028972023C2318724 @default.
- W1028972023 hasConceptScore W1028972023C2524010 @default.
- W1028972023 hasConceptScore W1028972023C2777686260 @default.
- W1028972023 hasConceptScore W1028972023C2780586882 @default.
- W1028972023 hasConceptScore W1028972023C33203268 @default.
- W1028972023 hasConceptScore W1028972023C33923547 @default.
- W1028972023 hasConceptScore W1028972023C39387531 @default.
- W1028972023 hasConceptScore W1028972023C41008148 @default.
- W1028972023 hasConceptScore W1028972023C62073222 @default.
- W1028972023 hasConceptScore W1028972023C65880906 @default.
- W1028972023 hasConceptScore W1028972023C69562738 @default.
- W1028972023 hasConceptScore W1028972023C71924100 @default.
- W1028972023 hasConceptScore W1028972023C85343465 @default.
- W1028972023 hasLocation W10289720231 @default.
- W1028972023 hasOpenAccess W1028972023 @default.
- W1028972023 hasPrimaryLocation W10289720231 @default.
- W1028972023 hasRelatedWork W151104747 @default.
- W1028972023 hasRelatedWork W1559554426 @default.
- W1028972023 hasRelatedWork W2007078003 @default.
- W1028972023 hasRelatedWork W2021037844 @default.
- W1028972023 hasRelatedWork W2029971057 @default.
- W1028972023 hasRelatedWork W2034981868 @default.
- W1028972023 hasRelatedWork W2079999798 @default.
- W1028972023 hasRelatedWork W2133968617 @default.
- W1028972023 hasRelatedWork W2139422879 @default.
- W1028972023 hasRelatedWork W2304246814 @default.
- W1028972023 hasRelatedWork W2469540789 @default.
- W1028972023 hasRelatedWork W2501040502 @default.
- W1028972023 hasRelatedWork W2510649957 @default.
- W1028972023 hasRelatedWork W2760927084 @default.
- W1028972023 hasRelatedWork W2888307280 @default.
- W1028972023 hasRelatedWork W3105213457 @default.
- W1028972023 hasRelatedWork W3154355147 @default.
- W1028972023 hasRelatedWork W44725458 @default.
- W1028972023 hasRelatedWork W946525731 @default.
- W1028972023 hasRelatedWork W2811013040 @default.
- W1028972023 isParatext "false" @default.
- W1028972023 isRetracted "false" @default.
- W1028972023 magId "1028972023" @default.
- W1028972023 workType "book-chapter" @default.