Matches in SemOpenAlex for { <https://semopenalex.org/work/W2001263628> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2001263628 endingPage "225" @default.
- W2001263628 startingPage "219" @default.
- W2001263628 abstract "In this note we present a simplification of the axiom schemes which were given in our earlier paper Axiom schemes for m-valued propositional calculi . Except for new concepts that are needed for our present purposes, the terminology used will be the same as that introduced in the earlier paper. Hence, we can say that in addition to listing our simplified specifications for axiom schemes, we shall indicate how our new axiom schemes may be used to establish deductive completeness. The simplification of our axiom schemes is achieved by using only the operators ⊃ and J k ( ) with the resulting elimination of ∨ and ·. This does not constitute an actual reduction in functional complexity since the latter operators can be denned in terms of the former. For example, However, by dispensing with ∨ and · one can greatly reduce the number of axioms without an appreciable increase in the difficulties of proving deductive completeness. Our simplified specifications for axiom schemes will retain conditions (1) and (3) of our earlier set but (2) and (4) will be changed to (2*) and (4*) which we will now state. (2*) Assume that an implication function (P ⊃ Q) can be defined exclusively in terms of the basic functions F i (P 1 , …:, P αi ). The statement of what follows is simplified by introducing a chain symbol defined recursively as follows: The variable i of a chain symbol which takes values from u to v will be called the chain variable . When it is clear that i is the chain variable we will use the notation in place of . Hence, denotes (P 5 ⊃ (P 4 ⊃ (P 3 ⊃ Q)))." @default.
- W2001263628 created "2016-06-24" @default.
- W2001263628 creator A5000783137 @default.
- W2001263628 creator A5015030717 @default.
- W2001263628 date "1950-01-01" @default.
- W2001263628 modified "2023-09-24" @default.
- W2001263628 title "A note on the deductive completeness of m-valued propositional calculi " @default.
- W2001263628 doi "https://doi.org/10.2307/2269229" @default.
- W2001263628 hasPublicationYear "1950" @default.
- W2001263628 type Work @default.
- W2001263628 sameAs 2001263628 @default.
- W2001263628 citedByCount "2" @default.
- W2001263628 crossrefType "journal-article" @default.
- W2001263628 hasAuthorship W2001263628A5000783137 @default.
- W2001263628 hasAuthorship W2001263628A5015030717 @default.
- W2001263628 hasConcept C102993220 @default.
- W2001263628 hasConcept C118615104 @default.
- W2001263628 hasConcept C134306372 @default.
- W2001263628 hasConcept C144237770 @default.
- W2001263628 hasConcept C14523651 @default.
- W2001263628 hasConcept C151797676 @default.
- W2001263628 hasConcept C153046414 @default.
- W2001263628 hasConcept C167729594 @default.
- W2001263628 hasConcept C17231256 @default.
- W2001263628 hasConcept C177264268 @default.
- W2001263628 hasConcept C17744445 @default.
- W2001263628 hasConcept C182365436 @default.
- W2001263628 hasConcept C199343813 @default.
- W2001263628 hasConcept C199360897 @default.
- W2001263628 hasConcept C199539241 @default.
- W2001263628 hasConcept C2524010 @default.
- W2001263628 hasConcept C2777026412 @default.
- W2001263628 hasConcept C2777686260 @default.
- W2001263628 hasConcept C33203268 @default.
- W2001263628 hasConcept C33923547 @default.
- W2001263628 hasConcept C41008148 @default.
- W2001263628 hasConcept C69562738 @default.
- W2001263628 hasConcept C71924100 @default.
- W2001263628 hasConcept C80444323 @default.
- W2001263628 hasConceptScore W2001263628C102993220 @default.
- W2001263628 hasConceptScore W2001263628C118615104 @default.
- W2001263628 hasConceptScore W2001263628C134306372 @default.
- W2001263628 hasConceptScore W2001263628C144237770 @default.
- W2001263628 hasConceptScore W2001263628C14523651 @default.
- W2001263628 hasConceptScore W2001263628C151797676 @default.
- W2001263628 hasConceptScore W2001263628C153046414 @default.
- W2001263628 hasConceptScore W2001263628C167729594 @default.
- W2001263628 hasConceptScore W2001263628C17231256 @default.
- W2001263628 hasConceptScore W2001263628C177264268 @default.
- W2001263628 hasConceptScore W2001263628C17744445 @default.
- W2001263628 hasConceptScore W2001263628C182365436 @default.
- W2001263628 hasConceptScore W2001263628C199343813 @default.
- W2001263628 hasConceptScore W2001263628C199360897 @default.
- W2001263628 hasConceptScore W2001263628C199539241 @default.
- W2001263628 hasConceptScore W2001263628C2524010 @default.
- W2001263628 hasConceptScore W2001263628C2777026412 @default.
- W2001263628 hasConceptScore W2001263628C2777686260 @default.
- W2001263628 hasConceptScore W2001263628C33203268 @default.
- W2001263628 hasConceptScore W2001263628C33923547 @default.
- W2001263628 hasConceptScore W2001263628C41008148 @default.
- W2001263628 hasConceptScore W2001263628C69562738 @default.
- W2001263628 hasConceptScore W2001263628C71924100 @default.
- W2001263628 hasConceptScore W2001263628C80444323 @default.
- W2001263628 hasIssue "4" @default.
- W2001263628 hasLocation W20012636281 @default.
- W2001263628 hasOpenAccess W2001263628 @default.
- W2001263628 hasPrimaryLocation W20012636281 @default.
- W2001263628 hasRelatedWork W1563007093 @default.
- W2001263628 hasRelatedWork W1969496630 @default.
- W2001263628 hasRelatedWork W2001263628 @default.
- W2001263628 hasRelatedWork W2015374966 @default.
- W2001263628 hasRelatedWork W2037235314 @default.
- W2001263628 hasRelatedWork W2188146735 @default.
- W2001263628 hasRelatedWork W2270830817 @default.
- W2001263628 hasRelatedWork W2552077341 @default.
- W2001263628 hasRelatedWork W4236607589 @default.
- W2001263628 hasRelatedWork W4376122595 @default.
- W2001263628 hasVolume "14" @default.
- W2001263628 isParatext "false" @default.
- W2001263628 isRetracted "false" @default.
- W2001263628 magId "2001263628" @default.
- W2001263628 workType "article" @default.