Matches in SemOpenAlex for { <https://semopenalex.org/work/W2588561489> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2588561489 abstract "It is shown that no intermediate predicate logic that is sound and complete with respect to a class of frames, admits a strict alternative Skolemization method. In particular, this holds for intuitionistic predicate logic and several other well-known intermediate predicate logics. The result is proved by showing that the class of formulas without strong quantifiers as well as the class of formulas without weak quantifiers is sound and complete with respect to the class of constant domain Kripke models." @default.
- W2588561489 created "2017-02-24" @default.
- W2588561489 creator A5087051979 @default.
- W2588561489 date "2016-08-30" @default.
- W2588561489 modified "2023-09-26" @default.
- W2588561489 title "On the existence of alternative Skolemization methods" @default.
- W2588561489 hasPublicationYear "2016" @default.
- W2588561489 type Work @default.
- W2588561489 sameAs 2588561489 @default.
- W2588561489 citedByCount "0" @default.
- W2588561489 crossrefType "journal-article" @default.
- W2588561489 hasAuthorship W2588561489A5087051979 @default.
- W2588561489 hasConcept C102993220 @default.
- W2588561489 hasConcept C110039528 @default.
- W2588561489 hasConcept C118615104 @default.
- W2588561489 hasConcept C140146324 @default.
- W2588561489 hasConcept C154945302 @default.
- W2588561489 hasConcept C19689857 @default.
- W2588561489 hasConcept C199360897 @default.
- W2588561489 hasConcept C203659156 @default.
- W2588561489 hasConcept C2777212361 @default.
- W2588561489 hasConcept C33923547 @default.
- W2588561489 hasConcept C41008148 @default.
- W2588561489 hasConcept C73314972 @default.
- W2588561489 hasConcept C80444323 @default.
- W2588561489 hasConceptScore W2588561489C102993220 @default.
- W2588561489 hasConceptScore W2588561489C110039528 @default.
- W2588561489 hasConceptScore W2588561489C118615104 @default.
- W2588561489 hasConceptScore W2588561489C140146324 @default.
- W2588561489 hasConceptScore W2588561489C154945302 @default.
- W2588561489 hasConceptScore W2588561489C19689857 @default.
- W2588561489 hasConceptScore W2588561489C199360897 @default.
- W2588561489 hasConceptScore W2588561489C203659156 @default.
- W2588561489 hasConceptScore W2588561489C2777212361 @default.
- W2588561489 hasConceptScore W2588561489C33923547 @default.
- W2588561489 hasConceptScore W2588561489C41008148 @default.
- W2588561489 hasConceptScore W2588561489C73314972 @default.
- W2588561489 hasConceptScore W2588561489C80444323 @default.
- W2588561489 hasLocation W25885614891 @default.
- W2588561489 hasOpenAccess W2588561489 @default.
- W2588561489 hasPrimaryLocation W25885614891 @default.
- W2588561489 hasRelatedWork W125654268 @default.
- W2588561489 hasRelatedWork W1506717067 @default.
- W2588561489 hasRelatedWork W1548013999 @default.
- W2588561489 hasRelatedWork W1639353267 @default.
- W2588561489 hasRelatedWork W1780759162 @default.
- W2588561489 hasRelatedWork W1977030765 @default.
- W2588561489 hasRelatedWork W1989174627 @default.
- W2588561489 hasRelatedWork W2008035652 @default.
- W2588561489 hasRelatedWork W2010376212 @default.
- W2588561489 hasRelatedWork W2041930157 @default.
- W2588561489 hasRelatedWork W2061774562 @default.
- W2588561489 hasRelatedWork W2071950040 @default.
- W2588561489 hasRelatedWork W2103849993 @default.
- W2588561489 hasRelatedWork W2147843393 @default.
- W2588561489 hasRelatedWork W2277324305 @default.
- W2588561489 hasRelatedWork W2491746321 @default.
- W2588561489 hasRelatedWork W2899053186 @default.
- W2588561489 hasRelatedWork W2913358032 @default.
- W2588561489 hasRelatedWork W3181566997 @default.
- W2588561489 hasRelatedWork W2105889724 @default.
- W2588561489 hasVolume "334" @default.
- W2588561489 isParatext "false" @default.
- W2588561489 isRetracted "false" @default.
- W2588561489 magId "2588561489" @default.
- W2588561489 workType "article" @default.