Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080694187> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2080694187 endingPage "295" @default.
- W2080694187 startingPage "269" @default.
- W2080694187 abstract "In this paper an alternative Skolemization method is introduced that, for a large class of formulas, is sound and complete with respect to intuitionistic logic. This class extends the class of formulas for which standard Skolemization is sound and complete and includes all formulas in which all strong quantifiers are existential. The method makes use of an existence predicate first introduced by Dana Scott." @default.
- W2080694187 created "2016-06-24" @default.
- W2080694187 creator A5035315045 @default.
- W2080694187 creator A5087051979 @default.
- W2080694187 date "2006-10-01" @default.
- W2080694187 modified "2023-09-29" @default.
- W2080694187 title "The Skolemization of existential quantifiers in intuitionistic logic" @default.
- W2080694187 cites W1516111266 @default.
- W2080694187 cites W1570226938 @default.
- W2080694187 cites W1883540685 @default.
- W2080694187 cites W1977030765 @default.
- W2080694187 cites W1978639634 @default.
- W2080694187 cites W2027917524 @default.
- W2080694187 cites W2029517118 @default.
- W2080694187 cites W2071547211 @default.
- W2080694187 cites W2082297482 @default.
- W2080694187 cites W2082736027 @default.
- W2080694187 cites W2136357238 @default.
- W2080694187 doi "https://doi.org/10.1016/j.apal.2006.02.001" @default.
- W2080694187 hasPublicationYear "2006" @default.
- W2080694187 type Work @default.
- W2080694187 sameAs 2080694187 @default.
- W2080694187 citedByCount "17" @default.
- W2080694187 countsByYear W20806941872015 @default.
- W2080694187 countsByYear W20806941872016 @default.
- W2080694187 countsByYear W20806941872017 @default.
- W2080694187 countsByYear W20806941872019 @default.
- W2080694187 countsByYear W20806941872020 @default.
- W2080694187 crossrefType "journal-article" @default.
- W2080694187 hasAuthorship W2080694187A5035315045 @default.
- W2080694187 hasAuthorship W2080694187A5087051979 @default.
- W2080694187 hasBestOaLocation W20806941872 @default.
- W2080694187 hasConcept C102993220 @default.
- W2080694187 hasConcept C111472728 @default.
- W2080694187 hasConcept C118615104 @default.
- W2080694187 hasConcept C127882523 @default.
- W2080694187 hasConcept C136119220 @default.
- W2080694187 hasConcept C138885662 @default.
- W2080694187 hasConcept C140146324 @default.
- W2080694187 hasConcept C154945302 @default.
- W2080694187 hasConcept C178421362 @default.
- W2080694187 hasConcept C19689857 @default.
- W2080694187 hasConcept C199343813 @default.
- W2080694187 hasConcept C199360897 @default.
- W2080694187 hasConcept C202444582 @default.
- W2080694187 hasConcept C2777212361 @default.
- W2080694187 hasConcept C2777686260 @default.
- W2080694187 hasConcept C33923547 @default.
- W2080694187 hasConcept C41008148 @default.
- W2080694187 hasConcept C69562738 @default.
- W2080694187 hasConcept C71924100 @default.
- W2080694187 hasConceptScore W2080694187C102993220 @default.
- W2080694187 hasConceptScore W2080694187C111472728 @default.
- W2080694187 hasConceptScore W2080694187C118615104 @default.
- W2080694187 hasConceptScore W2080694187C127882523 @default.
- W2080694187 hasConceptScore W2080694187C136119220 @default.
- W2080694187 hasConceptScore W2080694187C138885662 @default.
- W2080694187 hasConceptScore W2080694187C140146324 @default.
- W2080694187 hasConceptScore W2080694187C154945302 @default.
- W2080694187 hasConceptScore W2080694187C178421362 @default.
- W2080694187 hasConceptScore W2080694187C19689857 @default.
- W2080694187 hasConceptScore W2080694187C199343813 @default.
- W2080694187 hasConceptScore W2080694187C199360897 @default.
- W2080694187 hasConceptScore W2080694187C202444582 @default.
- W2080694187 hasConceptScore W2080694187C2777212361 @default.
- W2080694187 hasConceptScore W2080694187C2777686260 @default.
- W2080694187 hasConceptScore W2080694187C33923547 @default.
- W2080694187 hasConceptScore W2080694187C41008148 @default.
- W2080694187 hasConceptScore W2080694187C69562738 @default.
- W2080694187 hasConceptScore W2080694187C71924100 @default.
- W2080694187 hasIssue "1-3" @default.
- W2080694187 hasLocation W20806941871 @default.
- W2080694187 hasLocation W20806941872 @default.
- W2080694187 hasOpenAccess W2080694187 @default.
- W2080694187 hasPrimaryLocation W20806941871 @default.
- W2080694187 hasRelatedWork W191268427 @default.
- W2080694187 hasRelatedWork W1972606747 @default.
- W2080694187 hasRelatedWork W1988222104 @default.
- W2080694187 hasRelatedWork W2000897924 @default.
- W2080694187 hasRelatedWork W2036685181 @default.
- W2080694187 hasRelatedWork W2057179252 @default.
- W2080694187 hasRelatedWork W2085625417 @default.
- W2080694187 hasRelatedWork W2355223762 @default.
- W2080694187 hasRelatedWork W2898294246 @default.
- W2080694187 hasRelatedWork W4238295494 @default.
- W2080694187 hasVolume "142" @default.
- W2080694187 isParatext "false" @default.
- W2080694187 isRetracted "false" @default.
- W2080694187 magId "2080694187" @default.
- W2080694187 workType "article" @default.