Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135435051> ?p ?o ?g. }
- W2135435051 endingPage "116" @default.
- W2135435051 startingPage "97" @default.
- W2135435051 abstract "This article intends to contribute to the debate about the uses of paraconsistent reasoning in the foundations of set theory, by means of using the logics of formal inconsistency and by considering consistent and inconsistent sentences, as well as consistent and inconsistent sets. We establish the basis for new paraconsistent set-theories (such as ZFmbC and ZFCil ) under this perspective and establish their non-triviality, provided that ZF is consistent. By recalling how George Cantor himself, in his efforts towards founding set theory more than a century ago, not only used a form of ‘inconsistent sets’ in his mathematical reasoning, but regarded contradictions as beneficial, we argue that Cantor's handling of inconsistent collections can be related to ours." @default.
- W2135435051 created "2016-06-24" @default.
- W2135435051 creator A5019891741 @default.
- W2135435051 creator A5037312962 @default.
- W2135435051 date "2013-07-09" @default.
- W2135435051 modified "2023-10-14" @default.
- W2135435051 title "Paraconsistent set theory by predicating on consistency" @default.
- W2135435051 cites W128387233 @default.
- W2135435051 cites W1481398220 @default.
- W2135435051 cites W1656219664 @default.
- W2135435051 cites W1976094501 @default.
- W2135435051 cites W1979632868 @default.
- W2135435051 cites W2005031151 @default.
- W2135435051 cites W2018714997 @default.
- W2135435051 cites W2022760936 @default.
- W2135435051 cites W2031548494 @default.
- W2135435051 cites W2035617030 @default.
- W2135435051 cites W2075364971 @default.
- W2135435051 cites W2098017273 @default.
- W2135435051 cites W2133984713 @default.
- W2135435051 cites W2144421854 @default.
- W2135435051 cites W2165473014 @default.
- W2135435051 cites W4211060729 @default.
- W2135435051 cites W4213010599 @default.
- W2135435051 cites W4231871854 @default.
- W2135435051 cites W4236481632 @default.
- W2135435051 cites W4243714995 @default.
- W2135435051 cites W4297918507 @default.
- W2135435051 doi "https://doi.org/10.1093/logcom/ext020" @default.
- W2135435051 hasPublicationYear "2013" @default.
- W2135435051 type Work @default.
- W2135435051 sameAs 2135435051 @default.
- W2135435051 citedByCount "10" @default.
- W2135435051 countsByYear W21354350512015 @default.
- W2135435051 countsByYear W21354350512016 @default.
- W2135435051 countsByYear W21354350512017 @default.
- W2135435051 countsByYear W21354350512019 @default.
- W2135435051 countsByYear W21354350512020 @default.
- W2135435051 countsByYear W21354350512021 @default.
- W2135435051 countsByYear W21354350512022 @default.
- W2135435051 crossrefType "journal-article" @default.
- W2135435051 hasAuthorship W2135435051A5019891741 @default.
- W2135435051 hasAuthorship W2135435051A5037312962 @default.
- W2135435051 hasConcept C102993220 @default.
- W2135435051 hasConcept C111472728 @default.
- W2135435051 hasConcept C118615104 @default.
- W2135435051 hasConcept C12713177 @default.
- W2135435051 hasConcept C138885662 @default.
- W2135435051 hasConcept C144237770 @default.
- W2135435051 hasConcept C153046414 @default.
- W2135435051 hasConcept C154945302 @default.
- W2135435051 hasConcept C16796852 @default.
- W2135435051 hasConcept C177264268 @default.
- W2135435051 hasConcept C199360897 @default.
- W2135435051 hasConcept C202444582 @default.
- W2135435051 hasConcept C203659156 @default.
- W2135435051 hasConcept C2776436953 @default.
- W2135435051 hasConcept C2778795013 @default.
- W2135435051 hasConcept C33923547 @default.
- W2135435051 hasConcept C36605576 @default.
- W2135435051 hasConcept C41008148 @default.
- W2135435051 hasConcept C67101536 @default.
- W2135435051 hasConcept C70654966 @default.
- W2135435051 hasConceptScore W2135435051C102993220 @default.
- W2135435051 hasConceptScore W2135435051C111472728 @default.
- W2135435051 hasConceptScore W2135435051C118615104 @default.
- W2135435051 hasConceptScore W2135435051C12713177 @default.
- W2135435051 hasConceptScore W2135435051C138885662 @default.
- W2135435051 hasConceptScore W2135435051C144237770 @default.
- W2135435051 hasConceptScore W2135435051C153046414 @default.
- W2135435051 hasConceptScore W2135435051C154945302 @default.
- W2135435051 hasConceptScore W2135435051C16796852 @default.
- W2135435051 hasConceptScore W2135435051C177264268 @default.
- W2135435051 hasConceptScore W2135435051C199360897 @default.
- W2135435051 hasConceptScore W2135435051C202444582 @default.
- W2135435051 hasConceptScore W2135435051C203659156 @default.
- W2135435051 hasConceptScore W2135435051C2776436953 @default.
- W2135435051 hasConceptScore W2135435051C2778795013 @default.
- W2135435051 hasConceptScore W2135435051C33923547 @default.
- W2135435051 hasConceptScore W2135435051C36605576 @default.
- W2135435051 hasConceptScore W2135435051C41008148 @default.
- W2135435051 hasConceptScore W2135435051C67101536 @default.
- W2135435051 hasConceptScore W2135435051C70654966 @default.
- W2135435051 hasIssue "1" @default.
- W2135435051 hasLocation W21354350511 @default.
- W2135435051 hasOpenAccess W2135435051 @default.
- W2135435051 hasPrimaryLocation W21354350511 @default.
- W2135435051 hasRelatedWork W1973239156 @default.
- W2135435051 hasRelatedWork W2045168452 @default.
- W2135435051 hasRelatedWork W2092645656 @default.
- W2135435051 hasRelatedWork W2135435051 @default.
- W2135435051 hasRelatedWork W2348590962 @default.
- W2135435051 hasRelatedWork W2380540599 @default.
- W2135435051 hasRelatedWork W2384558974 @default.
- W2135435051 hasRelatedWork W2385639006 @default.
- W2135435051 hasRelatedWork W2392128234 @default.
- W2135435051 hasRelatedWork W2887688257 @default.
- W2135435051 hasVolume "26" @default.