Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023659949> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2023659949 endingPage "30" @default.
- W2023659949 startingPage "1" @default.
- W2023659949 abstract "We prove that the extension of the known hypersequent calculus for standard first-order Gödel logic with usual rules for second-order quantifiers is sound and (cut-free) complete for Henkin-style semantics for second-order Gödel logic. The proof is semantic, and it is similar in nature to Schütte and Tait's proof of Takeuti's conjecture." @default.
- W2023659949 created "2016-06-24" @default.
- W2023659949 creator A5004737121 @default.
- W2023659949 creator A5071426595 @default.
- W2023659949 date "2015-10-01" @default.
- W2023659949 modified "2023-10-16" @default.
- W2023659949 title "A cut-free calculus for second-order Gödel logic" @default.
- W2023659949 cites W1971043428 @default.
- W2023659949 cites W1985234321 @default.
- W2023659949 cites W1994019960 @default.
- W2023659949 cites W2009247993 @default.
- W2023659949 cites W2032767961 @default.
- W2023659949 cites W2037330115 @default.
- W2023659949 cites W2038831710 @default.
- W2023659949 cites W2089702017 @default.
- W2023659949 cites W2090670604 @default.
- W2023659949 cites W2126758170 @default.
- W2023659949 cites W3102748092 @default.
- W2023659949 cites W607239742 @default.
- W2023659949 cites W969295556 @default.
- W2023659949 doi "https://doi.org/10.1016/j.fss.2015.01.017" @default.
- W2023659949 hasPublicationYear "2015" @default.
- W2023659949 type Work @default.
- W2023659949 sameAs 2023659949 @default.
- W2023659949 citedByCount "1" @default.
- W2023659949 countsByYear W20236599492017 @default.
- W2023659949 crossrefType "journal-article" @default.
- W2023659949 hasAuthorship W2023659949A5004737121 @default.
- W2023659949 hasAuthorship W2023659949A5071426595 @default.
- W2023659949 hasConcept C100481476 @default.
- W2023659949 hasConcept C10138342 @default.
- W2023659949 hasConcept C102993220 @default.
- W2023659949 hasConcept C118615104 @default.
- W2023659949 hasConcept C136119220 @default.
- W2023659949 hasConcept C162324750 @default.
- W2023659949 hasConcept C169896238 @default.
- W2023659949 hasConcept C182306322 @default.
- W2023659949 hasConcept C184337299 @default.
- W2023659949 hasConcept C199343813 @default.
- W2023659949 hasConcept C199360897 @default.
- W2023659949 hasConcept C202444582 @default.
- W2023659949 hasConcept C2777686260 @default.
- W2023659949 hasConcept C2778029271 @default.
- W2023659949 hasConcept C2780990831 @default.
- W2023659949 hasConcept C33923547 @default.
- W2023659949 hasConcept C41008148 @default.
- W2023659949 hasConcept C62073222 @default.
- W2023659949 hasConcept C71924100 @default.
- W2023659949 hasConceptScore W2023659949C100481476 @default.
- W2023659949 hasConceptScore W2023659949C10138342 @default.
- W2023659949 hasConceptScore W2023659949C102993220 @default.
- W2023659949 hasConceptScore W2023659949C118615104 @default.
- W2023659949 hasConceptScore W2023659949C136119220 @default.
- W2023659949 hasConceptScore W2023659949C162324750 @default.
- W2023659949 hasConceptScore W2023659949C169896238 @default.
- W2023659949 hasConceptScore W2023659949C182306322 @default.
- W2023659949 hasConceptScore W2023659949C184337299 @default.
- W2023659949 hasConceptScore W2023659949C199343813 @default.
- W2023659949 hasConceptScore W2023659949C199360897 @default.
- W2023659949 hasConceptScore W2023659949C202444582 @default.
- W2023659949 hasConceptScore W2023659949C2777686260 @default.
- W2023659949 hasConceptScore W2023659949C2778029271 @default.
- W2023659949 hasConceptScore W2023659949C2780990831 @default.
- W2023659949 hasConceptScore W2023659949C33923547 @default.
- W2023659949 hasConceptScore W2023659949C41008148 @default.
- W2023659949 hasConceptScore W2023659949C62073222 @default.
- W2023659949 hasConceptScore W2023659949C71924100 @default.
- W2023659949 hasFunder F4320322252 @default.
- W2023659949 hasLocation W20236599491 @default.
- W2023659949 hasOpenAccess W2023659949 @default.
- W2023659949 hasPrimaryLocation W20236599491 @default.
- W2023659949 hasRelatedWork W1529715114 @default.
- W2023659949 hasRelatedWork W1544821125 @default.
- W2023659949 hasRelatedWork W2019408598 @default.
- W2023659949 hasRelatedWork W2099918555 @default.
- W2023659949 hasRelatedWork W2119636934 @default.
- W2023659949 hasRelatedWork W2127721731 @default.
- W2023659949 hasRelatedWork W3038654277 @default.
- W2023659949 hasRelatedWork W648555766 @default.
- W2023659949 hasRelatedWork W838397816 @default.
- W2023659949 hasRelatedWork W2335988281 @default.
- W2023659949 hasVolume "276" @default.
- W2023659949 isParatext "false" @default.
- W2023659949 isRetracted "false" @default.
- W2023659949 magId "2023659949" @default.
- W2023659949 workType "article" @default.