Matches in SemOpenAlex for { <https://semopenalex.org/work/W2909198689> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2909198689 endingPage "491" @default.
- W2909198689 startingPage "470" @default.
- W2909198689 abstract "Abstract The skolem class of a logic consists of the formulas for which the derivability of the formula is equivalent to the derivability of its Skolemization. In contrast to classical logic, the skolem classes of many intermediate logics do not contain all formulas. In this paper it is proven for certain classes of propositional formulas that any instance of them by (independent) predicate sentences in prenex normal form belongs to the skolem class of any intermediate logic complete with respect to a class of well-founded trees. In particular, all prenex sentences belong to the skolem class of these logics, and this result extends to the constant domain versions of these logics." @default.
- W2909198689 created "2019-01-25" @default.
- W2909198689 creator A5087051979 @default.
- W2909198689 date "2019-05-01" @default.
- W2909198689 modified "2023-09-29" @default.
- W2909198689 title "The Skolemization of prenex formulas in intermediate logics" @default.
- W2909198689 cites W1546296649 @default.
- W2909198689 cites W1568501149 @default.
- W2909198689 cites W1570226938 @default.
- W2909198689 cites W1586892257 @default.
- W2909198689 cites W1780759162 @default.
- W2909198689 cites W1795577507 @default.
- W2909198689 cites W1966718868 @default.
- W2909198689 cites W2080694187 @default.
- W2909198689 cites W2083944571 @default.
- W2909198689 cites W2529348856 @default.
- W2909198689 cites W3039529476 @default.
- W2909198689 cites W641016999 @default.
- W2909198689 cites W3023954237 @default.
- W2909198689 doi "https://doi.org/10.1016/j.indag.2019.01.002" @default.
- W2909198689 hasPublicationYear "2019" @default.
- W2909198689 type Work @default.
- W2909198689 sameAs 2909198689 @default.
- W2909198689 citedByCount "3" @default.
- W2909198689 countsByYear W29091986892019 @default.
- W2909198689 countsByYear W29091986892021 @default.
- W2909198689 countsByYear W29091986892022 @default.
- W2909198689 crossrefType "journal-article" @default.
- W2909198689 hasAuthorship W2909198689A5087051979 @default.
- W2909198689 hasBestOaLocation W29091986891 @default.
- W2909198689 hasConcept C118615104 @default.
- W2909198689 hasConcept C140146324 @default.
- W2909198689 hasConcept C154945302 @default.
- W2909198689 hasConcept C199360897 @default.
- W2909198689 hasConcept C202444582 @default.
- W2909198689 hasConcept C2777212361 @default.
- W2909198689 hasConcept C33923547 @default.
- W2909198689 hasConcept C41008148 @default.
- W2909198689 hasConceptScore W2909198689C118615104 @default.
- W2909198689 hasConceptScore W2909198689C140146324 @default.
- W2909198689 hasConceptScore W2909198689C154945302 @default.
- W2909198689 hasConceptScore W2909198689C199360897 @default.
- W2909198689 hasConceptScore W2909198689C202444582 @default.
- W2909198689 hasConceptScore W2909198689C2777212361 @default.
- W2909198689 hasConceptScore W2909198689C33923547 @default.
- W2909198689 hasConceptScore W2909198689C41008148 @default.
- W2909198689 hasFunder F4320321800 @default.
- W2909198689 hasIssue "3" @default.
- W2909198689 hasLocation W29091986891 @default.
- W2909198689 hasLocation W29091986892 @default.
- W2909198689 hasOpenAccess W2909198689 @default.
- W2909198689 hasPrimaryLocation W29091986891 @default.
- W2909198689 hasRelatedWork W117604700 @default.
- W2909198689 hasRelatedWork W1581869334 @default.
- W2909198689 hasRelatedWork W2009215498 @default.
- W2909198689 hasRelatedWork W2033075656 @default.
- W2909198689 hasRelatedWork W2062503307 @default.
- W2909198689 hasRelatedWork W2074507365 @default.
- W2909198689 hasRelatedWork W2101754569 @default.
- W2909198689 hasRelatedWork W2104799464 @default.
- W2909198689 hasRelatedWork W2158806800 @default.
- W2909198689 hasRelatedWork W2166668863 @default.
- W2909198689 hasRelatedWork W2295418520 @default.
- W2909198689 hasRelatedWork W2398347860 @default.
- W2909198689 hasRelatedWork W2494237651 @default.
- W2909198689 hasRelatedWork W2786755306 @default.
- W2909198689 hasRelatedWork W2963357588 @default.
- W2909198689 hasRelatedWork W2963734016 @default.
- W2909198689 hasRelatedWork W2969774628 @default.
- W2909198689 hasRelatedWork W2990466353 @default.
- W2909198689 hasRelatedWork W2992863903 @default.
- W2909198689 hasRelatedWork W3176208469 @default.
- W2909198689 hasVolume "30" @default.
- W2909198689 isParatext "false" @default.
- W2909198689 isRetracted "false" @default.
- W2909198689 magId "2909198689" @default.
- W2909198689 workType "article" @default.