Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386736356> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4386736356 abstract "Abstract A sufficient condition for an extension of positive logic with strong negation to be characterized by a class of finite trees is given." @default.
- W4386736356 created "2023-09-15" @default.
- W4386736356 creator A5026880671 @default.
- W4386736356 date "2023-09-14" @default.
- W4386736356 modified "2023-09-26" @default.
- W4386736356 title "Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation" @default.
- W4386736356 cites W12673449 @default.
- W4386736356 cites W1601411689 @default.
- W4386736356 cites W1950219843 @default.
- W4386736356 cites W2012254684 @default.
- W4386736356 doi "https://doi.org/10.1007/s11787-023-00338-8" @default.
- W4386736356 hasPublicationYear "2023" @default.
- W4386736356 type Work @default.
- W4386736356 citedByCount "0" @default.
- W4386736356 crossrefType "journal-article" @default.
- W4386736356 hasAuthorship W4386736356A5026880671 @default.
- W4386736356 hasBestOaLocation W43867363561 @default.
- W4386736356 hasConcept C102993220 @default.
- W4386736356 hasConcept C113174947 @default.
- W4386736356 hasConcept C114614502 @default.
- W4386736356 hasConcept C118615104 @default.
- W4386736356 hasConcept C194146651 @default.
- W4386736356 hasConcept C199360897 @default.
- W4386736356 hasConcept C203659156 @default.
- W4386736356 hasConcept C2185349 @default.
- W4386736356 hasConcept C33923547 @default.
- W4386736356 hasConcept C3845977 @default.
- W4386736356 hasConcept C41008148 @default.
- W4386736356 hasConceptScore W4386736356C102993220 @default.
- W4386736356 hasConceptScore W4386736356C113174947 @default.
- W4386736356 hasConceptScore W4386736356C114614502 @default.
- W4386736356 hasConceptScore W4386736356C118615104 @default.
- W4386736356 hasConceptScore W4386736356C194146651 @default.
- W4386736356 hasConceptScore W4386736356C199360897 @default.
- W4386736356 hasConceptScore W4386736356C203659156 @default.
- W4386736356 hasConceptScore W4386736356C2185349 @default.
- W4386736356 hasConceptScore W4386736356C33923547 @default.
- W4386736356 hasConceptScore W4386736356C3845977 @default.
- W4386736356 hasConceptScore W4386736356C41008148 @default.
- W4386736356 hasLocation W43867363561 @default.
- W4386736356 hasOpenAccess W4386736356 @default.
- W4386736356 hasPrimaryLocation W43867363561 @default.
- W4386736356 hasRelatedWork W1489785129 @default.
- W4386736356 hasRelatedWork W1505341650 @default.
- W4386736356 hasRelatedWork W1526625950 @default.
- W4386736356 hasRelatedWork W1608734032 @default.
- W4386736356 hasRelatedWork W2034442203 @default.
- W4386736356 hasRelatedWork W2144609099 @default.
- W4386736356 hasRelatedWork W2790159133 @default.
- W4386736356 hasRelatedWork W3197254143 @default.
- W4386736356 hasRelatedWork W40354860 @default.
- W4386736356 hasRelatedWork W4242330312 @default.
- W4386736356 isParatext "false" @default.
- W4386736356 isRetracted "false" @default.
- W4386736356 workType "article" @default.