Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891867341> ?p ?o ?g. }
- W2891867341 abstract "We show that the four-valued, non-deterministic semantics for modal logic are not complete. The demonstration uses contradictions based on Carnielli's paraconsistent logic. What follows is that infinite non-deterministic matrices are by definition incomplete." @default.
- W2891867341 created "2018-09-27" @default.
- W2891867341 creator A5080174307 @default.
- W2891867341 date "2018-09-01" @default.
- W2891867341 modified "2023-09-24" @default.
- W2891867341 title "Refutation of Completeness for Non-Deterministic Logic" @default.
- W2891867341 hasPublicationYear "2018" @default.
- W2891867341 type Work @default.
- W2891867341 sameAs 2891867341 @default.
- W2891867341 citedByCount "0" @default.
- W2891867341 crossrefType "posted-content" @default.
- W2891867341 hasAuthorship W2891867341A5080174307 @default.
- W2891867341 hasConcept C102993220 @default.
- W2891867341 hasConcept C114092440 @default.
- W2891867341 hasConcept C118615104 @default.
- W2891867341 hasConcept C121332964 @default.
- W2891867341 hasConcept C134306372 @default.
- W2891867341 hasConcept C136119220 @default.
- W2891867341 hasConcept C165801399 @default.
- W2891867341 hasConcept C16796852 @default.
- W2891867341 hasConcept C169896238 @default.
- W2891867341 hasConcept C17231256 @default.
- W2891867341 hasConcept C172385210 @default.
- W2891867341 hasConcept C178421362 @default.
- W2891867341 hasConcept C184337299 @default.
- W2891867341 hasConcept C185592680 @default.
- W2891867341 hasConcept C188027245 @default.
- W2891867341 hasConcept C199343813 @default.
- W2891867341 hasConcept C199360897 @default.
- W2891867341 hasConcept C200116569 @default.
- W2891867341 hasConcept C202444582 @default.
- W2891867341 hasConcept C203659156 @default.
- W2891867341 hasConcept C27508121 @default.
- W2891867341 hasConcept C2777686260 @default.
- W2891867341 hasConcept C2777796570 @default.
- W2891867341 hasConcept C33203268 @default.
- W2891867341 hasConcept C33923547 @default.
- W2891867341 hasConcept C41008148 @default.
- W2891867341 hasConcept C62520636 @default.
- W2891867341 hasConcept C69562738 @default.
- W2891867341 hasConcept C71139939 @default.
- W2891867341 hasConcept C71924100 @default.
- W2891867341 hasConcept C80444323 @default.
- W2891867341 hasConceptScore W2891867341C102993220 @default.
- W2891867341 hasConceptScore W2891867341C114092440 @default.
- W2891867341 hasConceptScore W2891867341C118615104 @default.
- W2891867341 hasConceptScore W2891867341C121332964 @default.
- W2891867341 hasConceptScore W2891867341C134306372 @default.
- W2891867341 hasConceptScore W2891867341C136119220 @default.
- W2891867341 hasConceptScore W2891867341C165801399 @default.
- W2891867341 hasConceptScore W2891867341C16796852 @default.
- W2891867341 hasConceptScore W2891867341C169896238 @default.
- W2891867341 hasConceptScore W2891867341C17231256 @default.
- W2891867341 hasConceptScore W2891867341C172385210 @default.
- W2891867341 hasConceptScore W2891867341C178421362 @default.
- W2891867341 hasConceptScore W2891867341C184337299 @default.
- W2891867341 hasConceptScore W2891867341C185592680 @default.
- W2891867341 hasConceptScore W2891867341C188027245 @default.
- W2891867341 hasConceptScore W2891867341C199343813 @default.
- W2891867341 hasConceptScore W2891867341C199360897 @default.
- W2891867341 hasConceptScore W2891867341C200116569 @default.
- W2891867341 hasConceptScore W2891867341C202444582 @default.
- W2891867341 hasConceptScore W2891867341C203659156 @default.
- W2891867341 hasConceptScore W2891867341C27508121 @default.
- W2891867341 hasConceptScore W2891867341C2777686260 @default.
- W2891867341 hasConceptScore W2891867341C2777796570 @default.
- W2891867341 hasConceptScore W2891867341C33203268 @default.
- W2891867341 hasConceptScore W2891867341C33923547 @default.
- W2891867341 hasConceptScore W2891867341C41008148 @default.
- W2891867341 hasConceptScore W2891867341C62520636 @default.
- W2891867341 hasConceptScore W2891867341C69562738 @default.
- W2891867341 hasConceptScore W2891867341C71139939 @default.
- W2891867341 hasConceptScore W2891867341C71924100 @default.
- W2891867341 hasConceptScore W2891867341C80444323 @default.
- W2891867341 hasLocation W28918673411 @default.
- W2891867341 hasOpenAccess W2891867341 @default.
- W2891867341 hasPrimaryLocation W28918673411 @default.
- W2891867341 hasRelatedWork W1490067613 @default.
- W2891867341 hasRelatedWork W1546767004 @default.
- W2891867341 hasRelatedWork W1999703197 @default.
- W2891867341 hasRelatedWork W2020595717 @default.
- W2891867341 hasRelatedWork W206604210 @default.
- W2891867341 hasRelatedWork W2076410236 @default.
- W2891867341 hasRelatedWork W2112970627 @default.
- W2891867341 hasRelatedWork W2124890997 @default.
- W2891867341 hasRelatedWork W2127383193 @default.
- W2891867341 hasRelatedWork W2138312950 @default.
- W2891867341 hasRelatedWork W2146119967 @default.
- W2891867341 hasRelatedWork W2147122754 @default.
- W2891867341 hasRelatedWork W2148256560 @default.
- W2891867341 hasRelatedWork W2155262709 @default.
- W2891867341 hasRelatedWork W2222257017 @default.
- W2891867341 hasRelatedWork W2337229092 @default.
- W2891867341 hasRelatedWork W2889088234 @default.
- W2891867341 hasRelatedWork W3037675099 @default.
- W2891867341 hasRelatedWork W74207700 @default.
- W2891867341 hasRelatedWork W99409509 @default.
- W2891867341 isParatext "false" @default.
- W2891867341 isRetracted "false" @default.
- W2891867341 magId "2891867341" @default.