FRINK Linked Data Fragments server

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

• W2277133989 endingPage "251" @default.
• W2277133989 startingPage "231" @default.
• W2277133989 abstract "We give an overview of completeness and incompleteness results within proof-theoretic semantics. Completeness of intuitionistic first-order logic for certain notions of validity in proof-theoretic semantics has been conjectured by Prawitz. For the kind of semantics proposed by him, this conjecture is still undecided. For certain variants of proof-theoretic semantics the completeness question is settled, including a positive result for classical logic. For intuitionistic logic there are positive as well as negative completeness results, depending on which variant of semantics is considered. Further results have been obtained for certain fragments of first-order languages." @default.
• W2277133989 created "2016-06-24" @default.
• W2277133989 creator A5074046765 @default.
• W2277133989 date "2015-10-25" @default.
• W2277133989 modified "2023-10-18" @default.
• W2277133989 title "Completeness in Proof-Theoretic Semantics" @default.
• W2277133989 cites W1524655177 @default.
• W2277133989 cites W1556018465 @default.
• W2277133989 cites W1557413548 @default.
• W2277133989 cites W1573218237 @default.
• W2277133989 cites W1699512023 @default.
• W2277133989 cites W17753627 @default.
• W2277133989 cites W1968189788 @default.
• W2277133989 cites W1992056012 @default.
• W2277133989 cites W2012598067 @default.
• W2277133989 cites W2026139892 @default.
• W2277133989 cites W2044343225 @default.
• W2277133989 cites W2047063760 @default.
• W2277133989 cites W2047495800 @default.
• W2277133989 cites W2053664305 @default.
• W2277133989 cites W2065329989 @default.
• W2277133989 cites W2089716623 @default.
• W2277133989 cites W2133968617 @default.
• W2277133989 cites W2189115174 @default.
• W2277133989 cites W2223596223 @default.
• W2277133989 cites W2267947205 @default.
• W2277133989 cites W4213130966 @default.
• W2277133989 cites W4238292764 @default.
• W2277133989 cites W2055753929 @default.
• W2277133989 doi "https://doi.org/10.1007/978-3-319-22686-6_15" @default.
• W2277133989 hasPublicationYear "2015" @default.
• W2277133989 type Work @default.
• W2277133989 sameAs 2277133989 @default.
• W2277133989 citedByCount "9" @default.
• W2277133989 countsByYear W22771339892016 @default.
• W2277133989 countsByYear W22771339892018 @default.
• W2277133989 countsByYear W22771339892019 @default.
• W2277133989 countsByYear W22771339892021 @default.
• W2277133989 countsByYear W22771339892022 @default.
• W2277133989 countsByYear W22771339892023 @default.
• W2277133989 crossrefType "book-chapter" @default.
• W2277133989 hasAuthorship W2277133989A5074046765 @default.
• W2277133989 hasBestOaLocation W22771339891 @default.
• W2277133989 hasConcept C102993220 @default.
• W2277133989 hasConcept C108710211 @default.
• W2277133989 hasConcept C118615104 @default.
• W2277133989 hasConcept C134306372 @default.
• W2277133989 hasConcept C156325763 @default.
• W2277133989 hasConcept C169896238 @default.
• W2277133989 hasConcept C17231256 @default.
• W2277133989 hasConcept C184337299 @default.
• W2277133989 hasConcept C195653647 @default.
• W2277133989 hasConcept C199343813 @default.
• W2277133989 hasConcept C199360897 @default.
• W2277133989 hasConcept C200116569 @default.
• W2277133989 hasConcept C207648694 @default.
• W2277133989 hasConcept C2318724 @default.
• W2277133989 hasConcept C2524010 @default.
• W2277133989 hasConcept C2777686260 @default.
• W2277133989 hasConcept C2780990831 @default.
• W2277133989 hasConcept C33923547 @default.
• W2277133989 hasConcept C41008148 @default.
• W2277133989 hasConcept C71924100 @default.
• W2277133989 hasConcept C89497691 @default.
• W2277133989 hasConceptScore W2277133989C102993220 @default.
• W2277133989 hasConceptScore W2277133989C108710211 @default.
• W2277133989 hasConceptScore W2277133989C118615104 @default.
• W2277133989 hasConceptScore W2277133989C134306372 @default.
• W2277133989 hasConceptScore W2277133989C156325763 @default.
• W2277133989 hasConceptScore W2277133989C169896238 @default.
• W2277133989 hasConceptScore W2277133989C17231256 @default.
• W2277133989 hasConceptScore W2277133989C184337299 @default.
• W2277133989 hasConceptScore W2277133989C195653647 @default.
• W2277133989 hasConceptScore W2277133989C199343813 @default.
• W2277133989 hasConceptScore W2277133989C199360897 @default.
• W2277133989 hasConceptScore W2277133989C200116569 @default.
• W2277133989 hasConceptScore W2277133989C207648694 @default.
• W2277133989 hasConceptScore W2277133989C2318724 @default.
• W2277133989 hasConceptScore W2277133989C2524010 @default.
• W2277133989 hasConceptScore W2277133989C2777686260 @default.
• W2277133989 hasConceptScore W2277133989C2780990831 @default.
• W2277133989 hasConceptScore W2277133989C33923547 @default.
• W2277133989 hasConceptScore W2277133989C41008148 @default.
• W2277133989 hasConceptScore W2277133989C71924100 @default.
• W2277133989 hasConceptScore W2277133989C89497691 @default.
• W2277133989 hasLocation W22771339891 @default.
• W2277133989 hasOpenAccess W2277133989 @default.
• W2277133989 hasPrimaryLocation W22771339891 @default.
• W2277133989 hasRelatedWork W1762277147 @default.
• W2277133989 hasRelatedWork W2086755199 @default.
• W2277133989 hasRelatedWork W2101048719 @default.
• W2277133989 hasRelatedWork W2143351951 @default.
• W2277133989 hasRelatedWork W2277133989 @default.
• W2277133989 hasRelatedWork W2389570364 @default.
• W2277133989 hasRelatedWork W2623938116 @default.
• W2277133989 hasRelatedWork W2973978040 @default.
• W2277133989 hasRelatedWork W3034635105 @default.
• W2277133989 hasRelatedWork W31250260 @default.

• next