Matches in SemOpenAlex for { <https://semopenalex.org/work/W1589778857> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1589778857 abstract "We are going to reconsider the existence property inintuitionistic first order logic (IQC) with function symbols,as presented in Dag Prawitz': Natural Deduction, A ProofTheoretical Study. That is, we will examine its formulation, andtry to give a constructive proof of the theorem. I mention inparticular the function symbols in IQC, because their presencegive rise to a new view on this property. Especially a tool fromresolution in automated theorem proving (Gallier [2]) will benecessary for the tightening up of the property.," @default.
- W1589778857 created "2016-06-24" @default.
- W1589778857 creator A5018449655 @default.
- W1589778857 date "1988-10-01" @default.
- W1589778857 modified "2023-09-28" @default.
- W1589778857 title "The existence property in the presence of function symbols" @default.
- W1589778857 hasPublicationYear "1988" @default.
- W1589778857 type Work @default.
- W1589778857 sameAs 1589778857 @default.
- W1589778857 citedByCount "4" @default.
- W1589778857 crossrefType "journal-article" @default.
- W1589778857 hasAuthorship W1589778857A5018449655 @default.
- W1589778857 hasConcept C10138342 @default.
- W1589778857 hasConcept C111472728 @default.
- W1589778857 hasConcept C118615104 @default.
- W1589778857 hasConcept C136119220 @default.
- W1589778857 hasConcept C138268822 @default.
- W1589778857 hasConcept C138885662 @default.
- W1589778857 hasConcept C14036430 @default.
- W1589778857 hasConcept C162324750 @default.
- W1589778857 hasConcept C182306322 @default.
- W1589778857 hasConcept C189950617 @default.
- W1589778857 hasConcept C199343813 @default.
- W1589778857 hasConcept C199360897 @default.
- W1589778857 hasConcept C202444582 @default.
- W1589778857 hasConcept C202854965 @default.
- W1589778857 hasConcept C2777686260 @default.
- W1589778857 hasConcept C2778701210 @default.
- W1589778857 hasConcept C33923547 @default.
- W1589778857 hasConcept C41008148 @default.
- W1589778857 hasConcept C62073222 @default.
- W1589778857 hasConcept C71924100 @default.
- W1589778857 hasConcept C78458016 @default.
- W1589778857 hasConcept C86803240 @default.
- W1589778857 hasConcept C98045186 @default.
- W1589778857 hasConceptScore W1589778857C10138342 @default.
- W1589778857 hasConceptScore W1589778857C111472728 @default.
- W1589778857 hasConceptScore W1589778857C118615104 @default.
- W1589778857 hasConceptScore W1589778857C136119220 @default.
- W1589778857 hasConceptScore W1589778857C138268822 @default.
- W1589778857 hasConceptScore W1589778857C138885662 @default.
- W1589778857 hasConceptScore W1589778857C14036430 @default.
- W1589778857 hasConceptScore W1589778857C162324750 @default.
- W1589778857 hasConceptScore W1589778857C182306322 @default.
- W1589778857 hasConceptScore W1589778857C189950617 @default.
- W1589778857 hasConceptScore W1589778857C199343813 @default.
- W1589778857 hasConceptScore W1589778857C199360897 @default.
- W1589778857 hasConceptScore W1589778857C202444582 @default.
- W1589778857 hasConceptScore W1589778857C202854965 @default.
- W1589778857 hasConceptScore W1589778857C2777686260 @default.
- W1589778857 hasConceptScore W1589778857C2778701210 @default.
- W1589778857 hasConceptScore W1589778857C33923547 @default.
- W1589778857 hasConceptScore W1589778857C41008148 @default.
- W1589778857 hasConceptScore W1589778857C62073222 @default.
- W1589778857 hasConceptScore W1589778857C71924100 @default.
- W1589778857 hasConceptScore W1589778857C78458016 @default.
- W1589778857 hasConceptScore W1589778857C86803240 @default.
- W1589778857 hasConceptScore W1589778857C98045186 @default.
- W1589778857 hasLocation W15897788571 @default.
- W1589778857 hasOpenAccess W1589778857 @default.
- W1589778857 hasPrimaryLocation W15897788571 @default.
- W1589778857 hasRelatedWork W1498428138 @default.
- W1589778857 hasRelatedWork W1503684994 @default.
- W1589778857 hasRelatedWork W1508762087 @default.
- W1589778857 hasRelatedWork W1513850447 @default.
- W1589778857 hasRelatedWork W1561349518 @default.
- W1589778857 hasRelatedWork W1572067982 @default.
- W1589778857 hasRelatedWork W184402934 @default.
- W1589778857 hasRelatedWork W192298397 @default.
- W1589778857 hasRelatedWork W2008911115 @default.
- W1589778857 hasRelatedWork W2022073203 @default.
- W1589778857 hasRelatedWork W2117955158 @default.
- W1589778857 hasRelatedWork W2124320382 @default.
- W1589778857 hasRelatedWork W2124788466 @default.
- W1589778857 hasRelatedWork W2137731476 @default.
- W1589778857 hasRelatedWork W2175687065 @default.
- W1589778857 hasRelatedWork W2177808228 @default.
- W1589778857 hasRelatedWork W267765877 @default.
- W1589778857 hasRelatedWork W3160084674 @default.
- W1589778857 hasRelatedWork W350561797 @default.
- W1589778857 hasRelatedWork W71070679 @default.
- W1589778857 hasVolume "41" @default.
- W1589778857 isParatext "false" @default.
- W1589778857 isRetracted "false" @default.
- W1589778857 magId "1589778857" @default.
- W1589778857 workType "article" @default.