Matches in SemOpenAlex for { <https://semopenalex.org/work/W2083616448> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2083616448 abstract "A general system of axioms has been given by Henkin for a fragment of the propositional calculus having as primitive symbols, in addition to the usual parentheses, variables, and implication sign ⊃, an arbitrarily given truth function symbol ϕ . This system of axioms, which we shall denote by S (⊃, ϕ ), contains the following three axiom schemata plus the 2 m further axiom schemata involving the symbol ϕ where ϕ is an m -placed function symbol. We refer to Henkin's paper, p. 43, for the detailed description of the axiom schemata (4). The remark was made in the above mentioned paper that each of the 2 m axiom schemata of (4) is trivially independent of the rest of the axioms of S (⊃, ϕ ), and it was conjectured that the axiom schemata (1), (2) and (3) are also independent. In this note, we prove the general independence of the axiom schemata (1) and (2). As for (3), we show on the one hand its independence in the systems S (⊃) and S (⊃, f ), and, on the other hand, its dependence in the system S (⊃, ∼). The net result is, therefore, that in any of these systems of axioms S (⊃, ϕ ) all the axiom schemata are independent, except possibly the axiom schema (3)." @default.
- W2083616448 created "2016-06-24" @default.
- W2083616448 creator A5082356575 @default.
- W2083616448 date "1951-03-01" @default.
- W2083616448 modified "2023-10-01" @default.
- W2083616448 title "On the independence of Henkin's axioms for fragments of the propositional calculus " @default.
- W2083616448 cites W2057066322 @default.
- W2083616448 doi "https://doi.org/10.2307/2268664" @default.
- W2083616448 hasPublicationYear "1951" @default.
- W2083616448 type Work @default.
- W2083616448 sameAs 2083616448 @default.
- W2083616448 citedByCount "0" @default.
- W2083616448 crossrefType "journal-article" @default.
- W2083616448 hasAuthorship W2083616448A5082356575 @default.
- W2083616448 hasConcept C105795698 @default.
- W2083616448 hasConcept C118615104 @default.
- W2083616448 hasConcept C134400042 @default.
- W2083616448 hasConcept C151797676 @default.
- W2083616448 hasConcept C153046414 @default.
- W2083616448 hasConcept C167729594 @default.
- W2083616448 hasConcept C170088968 @default.
- W2083616448 hasConcept C177264268 @default.
- W2083616448 hasConcept C199343813 @default.
- W2083616448 hasConcept C199360897 @default.
- W2083616448 hasConcept C2524010 @default.
- W2083616448 hasConcept C2777686260 @default.
- W2083616448 hasConcept C33923547 @default.
- W2083616448 hasConcept C35651441 @default.
- W2083616448 hasConcept C41008148 @default.
- W2083616448 hasConcept C51460 @default.
- W2083616448 hasConcept C556429856 @default.
- W2083616448 hasConcept C69562738 @default.
- W2083616448 hasConcept C71924100 @default.
- W2083616448 hasConcept C78550038 @default.
- W2083616448 hasConceptScore W2083616448C105795698 @default.
- W2083616448 hasConceptScore W2083616448C118615104 @default.
- W2083616448 hasConceptScore W2083616448C134400042 @default.
- W2083616448 hasConceptScore W2083616448C151797676 @default.
- W2083616448 hasConceptScore W2083616448C153046414 @default.
- W2083616448 hasConceptScore W2083616448C167729594 @default.
- W2083616448 hasConceptScore W2083616448C170088968 @default.
- W2083616448 hasConceptScore W2083616448C177264268 @default.
- W2083616448 hasConceptScore W2083616448C199343813 @default.
- W2083616448 hasConceptScore W2083616448C199360897 @default.
- W2083616448 hasConceptScore W2083616448C2524010 @default.
- W2083616448 hasConceptScore W2083616448C2777686260 @default.
- W2083616448 hasConceptScore W2083616448C33923547 @default.
- W2083616448 hasConceptScore W2083616448C35651441 @default.
- W2083616448 hasConceptScore W2083616448C41008148 @default.
- W2083616448 hasConceptScore W2083616448C51460 @default.
- W2083616448 hasConceptScore W2083616448C556429856 @default.
- W2083616448 hasConceptScore W2083616448C69562738 @default.
- W2083616448 hasConceptScore W2083616448C71924100 @default.
- W2083616448 hasConceptScore W2083616448C78550038 @default.
- W2083616448 hasLocation W20836164481 @default.
- W2083616448 hasOpenAccess W2083616448 @default.
- W2083616448 hasPrimaryLocation W20836164481 @default.
- W2083616448 hasRelatedWork W1493890316 @default.
- W2083616448 hasRelatedWork W1603602114 @default.
- W2083616448 hasRelatedWork W1607958542 @default.
- W2083616448 hasRelatedWork W1979425288 @default.
- W2083616448 hasRelatedWork W2057631483 @default.
- W2083616448 hasRelatedWork W2066572550 @default.
- W2083616448 hasRelatedWork W2114912177 @default.
- W2083616448 hasRelatedWork W2134384958 @default.
- W2083616448 hasRelatedWork W2152822550 @default.
- W2083616448 hasRelatedWork W2253978528 @default.
- W2083616448 hasRelatedWork W2279520169 @default.
- W2083616448 hasRelatedWork W2281650882 @default.
- W2083616448 hasRelatedWork W232505205 @default.
- W2083616448 hasRelatedWork W2412553109 @default.
- W2083616448 hasRelatedWork W244430048 @default.
- W2083616448 hasRelatedWork W2607053310 @default.
- W2083616448 hasRelatedWork W2971927321 @default.
- W2083616448 hasRelatedWork W3125454179 @default.
- W2083616448 hasRelatedWork W592360329 @default.
- W2083616448 hasRelatedWork W614204383 @default.
- W2083616448 isParatext "false" @default.
- W2083616448 isRetracted "false" @default.
- W2083616448 magId "2083616448" @default.
- W2083616448 workType "article" @default.