Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023681781> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2023681781 abstract "We show that, if a suitable intuitionistic metatheory proves that consistency implies satisfiability for subfinite sets of propositional formulas relative either to standard structures or to Kripke models, then that metatheory also proves every negative instance of every classical propositional tautology. Since reasonable intuitionistic set theories such as HAS or IZF do not demonstrate all such negative instances, these theories cannot prove completeness for intuitionistic propositional logic in the present sense." @default.
- W2023681781 created "2016-06-24" @default.
- W2023681781 creator A5074154137 @default.
- W2023681781 date "2002-10-01" @default.
- W2023681781 modified "2023-09-24" @default.
- W2023681781 title "Intuitionistic Completeness and Classical Logic" @default.
- W2023681781 cites W1608607427 @default.
- W2023681781 cites W2045524779 @default.
- W2023681781 cites W2071514253 @default.
- W2023681781 cites W2088214355 @default.
- W2023681781 doi "https://doi.org/10.1305/ndjfl/1074396309" @default.
- W2023681781 hasPublicationYear "2002" @default.
- W2023681781 type Work @default.
- W2023681781 sameAs 2023681781 @default.
- W2023681781 citedByCount "8" @default.
- W2023681781 countsByYear W20236817812016 @default.
- W2023681781 countsByYear W20236817812018 @default.
- W2023681781 countsByYear W20236817812019 @default.
- W2023681781 crossrefType "journal-article" @default.
- W2023681781 hasAuthorship W2023681781A5074154137 @default.
- W2023681781 hasBestOaLocation W20236817811 @default.
- W2023681781 hasConcept C102993220 @default.
- W2023681781 hasConcept C118615104 @default.
- W2023681781 hasConcept C134306372 @default.
- W2023681781 hasConcept C14523651 @default.
- W2023681781 hasConcept C166374712 @default.
- W2023681781 hasConcept C168773769 @default.
- W2023681781 hasConcept C17231256 @default.
- W2023681781 hasConcept C178421362 @default.
- W2023681781 hasConcept C191222856 @default.
- W2023681781 hasConcept C199343813 @default.
- W2023681781 hasConcept C199360897 @default.
- W2023681781 hasConcept C2777686260 @default.
- W2023681781 hasConcept C33203268 @default.
- W2023681781 hasConcept C33923547 @default.
- W2023681781 hasConcept C39387531 @default.
- W2023681781 hasConcept C41008148 @default.
- W2023681781 hasConcept C69562738 @default.
- W2023681781 hasConcept C71924100 @default.
- W2023681781 hasConcept C80444323 @default.
- W2023681781 hasConceptScore W2023681781C102993220 @default.
- W2023681781 hasConceptScore W2023681781C118615104 @default.
- W2023681781 hasConceptScore W2023681781C134306372 @default.
- W2023681781 hasConceptScore W2023681781C14523651 @default.
- W2023681781 hasConceptScore W2023681781C166374712 @default.
- W2023681781 hasConceptScore W2023681781C168773769 @default.
- W2023681781 hasConceptScore W2023681781C17231256 @default.
- W2023681781 hasConceptScore W2023681781C178421362 @default.
- W2023681781 hasConceptScore W2023681781C191222856 @default.
- W2023681781 hasConceptScore W2023681781C199343813 @default.
- W2023681781 hasConceptScore W2023681781C199360897 @default.
- W2023681781 hasConceptScore W2023681781C2777686260 @default.
- W2023681781 hasConceptScore W2023681781C33203268 @default.
- W2023681781 hasConceptScore W2023681781C33923547 @default.
- W2023681781 hasConceptScore W2023681781C39387531 @default.
- W2023681781 hasConceptScore W2023681781C41008148 @default.
- W2023681781 hasConceptScore W2023681781C69562738 @default.
- W2023681781 hasConceptScore W2023681781C71924100 @default.
- W2023681781 hasConceptScore W2023681781C80444323 @default.
- W2023681781 hasIssue "4" @default.
- W2023681781 hasLocation W20236817811 @default.
- W2023681781 hasOpenAccess W2023681781 @default.
- W2023681781 hasPrimaryLocation W20236817811 @default.
- W2023681781 hasRelatedWork W1859649522 @default.
- W2023681781 hasRelatedWork W1995987034 @default.
- W2023681781 hasRelatedWork W2014565657 @default.
- W2023681781 hasRelatedWork W2023681781 @default.
- W2023681781 hasRelatedWork W2074283846 @default.
- W2023681781 hasRelatedWork W2082723133 @default.
- W2023681781 hasRelatedWork W2158975365 @default.
- W2023681781 hasRelatedWork W2295284441 @default.
- W2023681781 hasRelatedWork W3148603535 @default.
- W2023681781 hasRelatedWork W428994 @default.
- W2023681781 hasVolume "43" @default.
- W2023681781 isParatext "false" @default.
- W2023681781 isRetracted "false" @default.
- W2023681781 magId "2023681781" @default.
- W2023681781 workType "article" @default.