Matches in SemOpenAlex for { <https://semopenalex.org/work/W2995984766> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2995984766 abstract "Our previous research has studied the semantic tableaux deductive methodology, of Fitting and Smullyan, and observed that it permits boundary-case exceptions to the Second Incompleteness Theorem, when multiplication is viewed as a 3-way relation (rather than as a total function). It is known that tableaux methodologies do prove a schema of theorems, verifying all instances of the Law of the Excluded Middle. But yet we show that if one promotes this schema of theorems into formalized logical axioms, then the meaning of the pronoun “I” in our self-referencing engine changes, and our partial evasions of the Second Incompleteness Theorem come to a complete halt." @default.
- W2995984766 created "2019-12-26" @default.
- W2995984766 creator A5074770137 @default.
- W2995984766 date "2019-12-20" @default.
- W2995984766 modified "2023-09-26" @default.
- W2995984766 title "On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem Under Semantic Tableaux Deduction" @default.
- W2995984766 cites W1515297838 @default.
- W2995984766 cites W1554618854 @default.
- W2995984766 cites W1978260344 @default.
- W2995984766 cites W1985956422 @default.
- W2995984766 cites W2022687341 @default.
- W2995984766 cites W2041395883 @default.
- W2995984766 cites W2043468053 @default.
- W2995984766 cites W2060878518 @default.
- W2995984766 cites W2085335923 @default.
- W2995984766 cites W2110799565 @default.
- W2995984766 cites W2227462403 @default.
- W2995984766 cites W2492590561 @default.
- W2995984766 cites W4205175461 @default.
- W2995984766 cites W4238958105 @default.
- W2995984766 cites W4251139222 @default.
- W2995984766 cites W4253795631 @default.
- W2995984766 doi "https://doi.org/10.1007/978-3-030-36755-8_17" @default.
- W2995984766 hasPublicationYear "2019" @default.
- W2995984766 type Work @default.
- W2995984766 sameAs 2995984766 @default.
- W2995984766 citedByCount "1" @default.
- W2995984766 countsByYear W29959847662019 @default.
- W2995984766 crossrefType "book-chapter" @default.
- W2995984766 hasAuthorship W2995984766A5074770137 @default.
- W2995984766 hasConcept C118615104 @default.
- W2995984766 hasConcept C138885662 @default.
- W2995984766 hasConcept C167729594 @default.
- W2995984766 hasConcept C206880738 @default.
- W2995984766 hasConcept C23123220 @default.
- W2995984766 hasConcept C2524010 @default.
- W2995984766 hasConcept C2778551981 @default.
- W2995984766 hasConcept C33923547 @default.
- W2995984766 hasConcept C41008148 @default.
- W2995984766 hasConcept C41895202 @default.
- W2995984766 hasConcept C52146309 @default.
- W2995984766 hasConcept C80444323 @default.
- W2995984766 hasConceptScore W2995984766C118615104 @default.
- W2995984766 hasConceptScore W2995984766C138885662 @default.
- W2995984766 hasConceptScore W2995984766C167729594 @default.
- W2995984766 hasConceptScore W2995984766C206880738 @default.
- W2995984766 hasConceptScore W2995984766C23123220 @default.
- W2995984766 hasConceptScore W2995984766C2524010 @default.
- W2995984766 hasConceptScore W2995984766C2778551981 @default.
- W2995984766 hasConceptScore W2995984766C33923547 @default.
- W2995984766 hasConceptScore W2995984766C41008148 @default.
- W2995984766 hasConceptScore W2995984766C41895202 @default.
- W2995984766 hasConceptScore W2995984766C52146309 @default.
- W2995984766 hasConceptScore W2995984766C80444323 @default.
- W2995984766 hasLocation W29959847661 @default.
- W2995984766 hasOpenAccess W2995984766 @default.
- W2995984766 hasPrimaryLocation W29959847661 @default.
- W2995984766 hasRelatedWork W10462600 @default.
- W2995984766 hasRelatedWork W10498814 @default.
- W2995984766 hasRelatedWork W12301096 @default.
- W2995984766 hasRelatedWork W12371736 @default.
- W2995984766 hasRelatedWork W12716309 @default.
- W2995984766 hasRelatedWork W200778 @default.
- W2995984766 hasRelatedWork W6937640 @default.
- W2995984766 hasRelatedWork W8060374 @default.
- W2995984766 hasRelatedWork W8806750 @default.
- W2995984766 hasRelatedWork W5616595 @default.
- W2995984766 isParatext "false" @default.
- W2995984766 isRetracted "false" @default.
- W2995984766 magId "2995984766" @default.
- W2995984766 workType "book-chapter" @default.