Matches in SemOpenAlex for { <https://semopenalex.org/work/W2247886804> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2247886804 abstract "NaDSet in its extended form has been defined in several previous papers describing its applications. It is a {underline N}atural {underline D}eduction based {underline Set} theory and logic. In this paper the logic is shown to enjoy a form of $omega$-consistency from which simple consistency follows. The proof uses transfinite induction over the ordinals up to $varepsilon_0$, in the style of Gentzen''s consistency proof for arithmetic. A completeness proof in the style of Henkin is also given. Finally the cut rule of deduction is shown to be redundant." @default.
- W2247886804 created "2016-06-24" @default.
- W2247886804 creator A5039589045 @default.
- W2247886804 date "1991-08-01" @default.
- W2247886804 modified "2023-09-24" @default.
- W2247886804 title "On the CONSISTENCY and COMPLETENESS of an EXTENDED NaDSet" @default.
- W2247886804 hasPublicationYear "1991" @default.
- W2247886804 type Work @default.
- W2247886804 sameAs 2247886804 @default.
- W2247886804 citedByCount "0" @default.
- W2247886804 crossrefType "journal-article" @default.
- W2247886804 hasAuthorship W2247886804A5039589045 @default.
- W2247886804 hasConcept C108710211 @default.
- W2247886804 hasConcept C111472728 @default.
- W2247886804 hasConcept C118615104 @default.
- W2247886804 hasConcept C134306372 @default.
- W2247886804 hasConcept C138885662 @default.
- W2247886804 hasConcept C147358099 @default.
- W2247886804 hasConcept C17231256 @default.
- W2247886804 hasConcept C199343813 @default.
- W2247886804 hasConcept C2318724 @default.
- W2247886804 hasConcept C2524010 @default.
- W2247886804 hasConcept C2776436953 @default.
- W2247886804 hasConcept C2777686260 @default.
- W2247886804 hasConcept C2780586882 @default.
- W2247886804 hasConcept C33923547 @default.
- W2247886804 hasConcept C62073222 @default.
- W2247886804 hasConcept C71924100 @default.
- W2247886804 hasConceptScore W2247886804C108710211 @default.
- W2247886804 hasConceptScore W2247886804C111472728 @default.
- W2247886804 hasConceptScore W2247886804C118615104 @default.
- W2247886804 hasConceptScore W2247886804C134306372 @default.
- W2247886804 hasConceptScore W2247886804C138885662 @default.
- W2247886804 hasConceptScore W2247886804C147358099 @default.
- W2247886804 hasConceptScore W2247886804C17231256 @default.
- W2247886804 hasConceptScore W2247886804C199343813 @default.
- W2247886804 hasConceptScore W2247886804C2318724 @default.
- W2247886804 hasConceptScore W2247886804C2524010 @default.
- W2247886804 hasConceptScore W2247886804C2776436953 @default.
- W2247886804 hasConceptScore W2247886804C2777686260 @default.
- W2247886804 hasConceptScore W2247886804C2780586882 @default.
- W2247886804 hasConceptScore W2247886804C33923547 @default.
- W2247886804 hasConceptScore W2247886804C62073222 @default.
- W2247886804 hasConceptScore W2247886804C71924100 @default.
- W2247886804 hasLocation W22478868041 @default.
- W2247886804 hasOpenAccess W2247886804 @default.
- W2247886804 hasPrimaryLocation W22478868041 @default.
- W2247886804 hasRelatedWork W114142788 @default.
- W2247886804 hasRelatedWork W1482474516 @default.
- W2247886804 hasRelatedWork W1519930863 @default.
- W2247886804 hasRelatedWork W1652201657 @default.
- W2247886804 hasRelatedWork W1966944960 @default.
- W2247886804 hasRelatedWork W1988282080 @default.
- W2247886804 hasRelatedWork W1999807931 @default.
- W2247886804 hasRelatedWork W2014812345 @default.
- W2247886804 hasRelatedWork W2032767961 @default.
- W2247886804 hasRelatedWork W203833057 @default.
- W2247886804 hasRelatedWork W2057038881 @default.
- W2247886804 hasRelatedWork W2073404010 @default.
- W2247886804 hasRelatedWork W2222257017 @default.
- W2247886804 hasRelatedWork W2246118504 @default.
- W2247886804 hasRelatedWork W2483720016 @default.
- W2247886804 hasRelatedWork W2498667145 @default.
- W2247886804 hasRelatedWork W2950436475 @default.
- W2247886804 hasRelatedWork W3013758254 @default.
- W2247886804 hasRelatedWork W59731535 @default.
- W2247886804 hasRelatedWork W882070095 @default.
- W2247886804 isParatext "false" @default.
- W2247886804 isRetracted "false" @default.
- W2247886804 magId "2247886804" @default.
- W2247886804 workType "article" @default.