Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155129617> ?p ?o ?g. }
- W2155129617 endingPage "922" @default.
- W2155129617 startingPage "901" @default.
- W2155129617 abstract "This paper begins an analysis of the real line using an inconsistency-tolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistency-reliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for other non-trivializing contradictions are left open." @default.
- W2155129617 created "2016-06-24" @default.
- W2155129617 creator A5035553646 @default.
- W2155129617 creator A5063156268 @default.
- W2155129617 date "2011-08-09" @default.
- W2155129617 modified "2023-09-26" @default.
- W2155129617 title "Real Analysis in Paraconsistent Logic" @default.
- W2155129617 cites W1032524570 @default.
- W2155129617 cites W1590304156 @default.
- W2155129617 cites W1979857270 @default.
- W2155129617 cites W2004192224 @default.
- W2155129617 cites W2039516810 @default.
- W2155129617 cites W2133984713 @default.
- W2155129617 cites W2135986646 @default.
- W2155129617 cites W2142616542 @default.
- W2155129617 cites W4210825002 @default.
- W2155129617 cites W4239206735 @default.
- W2155129617 cites W4242999300 @default.
- W2155129617 cites W4252295669 @default.
- W2155129617 cites W4297918507 @default.
- W2155129617 doi "https://doi.org/10.1007/s10992-011-9210-6" @default.
- W2155129617 hasPublicationYear "2011" @default.
- W2155129617 type Work @default.
- W2155129617 sameAs 2155129617 @default.
- W2155129617 citedByCount "33" @default.
- W2155129617 countsByYear W21551296172012 @default.
- W2155129617 countsByYear W21551296172013 @default.
- W2155129617 countsByYear W21551296172014 @default.
- W2155129617 countsByYear W21551296172015 @default.
- W2155129617 countsByYear W21551296172016 @default.
- W2155129617 countsByYear W21551296172017 @default.
- W2155129617 countsByYear W21551296172018 @default.
- W2155129617 countsByYear W21551296172020 @default.
- W2155129617 countsByYear W21551296172021 @default.
- W2155129617 countsByYear W21551296172022 @default.
- W2155129617 crossrefType "journal-article" @default.
- W2155129617 hasAuthorship W2155129617A5035553646 @default.
- W2155129617 hasAuthorship W2155129617A5063156268 @default.
- W2155129617 hasBestOaLocation W21551296172 @default.
- W2155129617 hasConcept C102993220 @default.
- W2155129617 hasConcept C108710211 @default.
- W2155129617 hasConcept C134306372 @default.
- W2155129617 hasConcept C136119220 @default.
- W2155129617 hasConcept C154945302 @default.
- W2155129617 hasConcept C16796852 @default.
- W2155129617 hasConcept C169896238 @default.
- W2155129617 hasConcept C199343813 @default.
- W2155129617 hasConcept C199360897 @default.
- W2155129617 hasConcept C202444582 @default.
- W2155129617 hasConcept C2524010 @default.
- W2155129617 hasConcept C2776436953 @default.
- W2155129617 hasConcept C2777686260 @default.
- W2155129617 hasConcept C2778701210 @default.
- W2155129617 hasConcept C33923547 @default.
- W2155129617 hasConcept C41008148 @default.
- W2155129617 hasConcept C71924100 @default.
- W2155129617 hasConcept C80444323 @default.
- W2155129617 hasConcept C9376300 @default.
- W2155129617 hasConcept C94375191 @default.
- W2155129617 hasConcept C9652623 @default.
- W2155129617 hasConcept C98045186 @default.
- W2155129617 hasConceptScore W2155129617C102993220 @default.
- W2155129617 hasConceptScore W2155129617C108710211 @default.
- W2155129617 hasConceptScore W2155129617C134306372 @default.
- W2155129617 hasConceptScore W2155129617C136119220 @default.
- W2155129617 hasConceptScore W2155129617C154945302 @default.
- W2155129617 hasConceptScore W2155129617C16796852 @default.
- W2155129617 hasConceptScore W2155129617C169896238 @default.
- W2155129617 hasConceptScore W2155129617C199343813 @default.
- W2155129617 hasConceptScore W2155129617C199360897 @default.
- W2155129617 hasConceptScore W2155129617C202444582 @default.
- W2155129617 hasConceptScore W2155129617C2524010 @default.
- W2155129617 hasConceptScore W2155129617C2776436953 @default.
- W2155129617 hasConceptScore W2155129617C2777686260 @default.
- W2155129617 hasConceptScore W2155129617C2778701210 @default.
- W2155129617 hasConceptScore W2155129617C33923547 @default.
- W2155129617 hasConceptScore W2155129617C41008148 @default.
- W2155129617 hasConceptScore W2155129617C71924100 @default.
- W2155129617 hasConceptScore W2155129617C80444323 @default.
- W2155129617 hasConceptScore W2155129617C9376300 @default.
- W2155129617 hasConceptScore W2155129617C94375191 @default.
- W2155129617 hasConceptScore W2155129617C9652623 @default.
- W2155129617 hasConceptScore W2155129617C98045186 @default.
- W2155129617 hasIssue "5" @default.
- W2155129617 hasLocation W21551296171 @default.
- W2155129617 hasLocation W21551296172 @default.
- W2155129617 hasLocation W21551296173 @default.
- W2155129617 hasLocation W21551296174 @default.
- W2155129617 hasOpenAccess W2155129617 @default.
- W2155129617 hasPrimaryLocation W21551296171 @default.
- W2155129617 hasRelatedWork W103005945 @default.
- W2155129617 hasRelatedWork W1568625050 @default.
- W2155129617 hasRelatedWork W1719337452 @default.
- W2155129617 hasRelatedWork W2009110327 @default.
- W2155129617 hasRelatedWork W2031104901 @default.
- W2155129617 hasRelatedWork W2223906130 @default.
- W2155129617 hasRelatedWork W2385699660 @default.
- W2155129617 hasRelatedWork W2808959572 @default.