Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015374966> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2015374966 endingPage "40" @default.
- W2015374966 startingPage "37" @default.
- W2015374966 abstract "The completeness of the prepositional calculus was first proved by Post. His somewhat condensed proof has been succeeded by more detailed presentations of substantially the same argument, and also by several proofs of radically different forms. The present paper contains still another proof, offered because of its relative simplicity. In part this proof follows a plan which was sketched by Wajsberg for another purpose, viz. for proving the completeness of the sub-calculus involving only the material conditional. For the present proof a systematization of the propositional calculus will be used which is due to Tarski, Bernays, and Wajsberg. It involves the material conditional “⊃” and the falsehood “F” as primitive; thus the formulae are recursively describable as comprising “F”, the variables “ p ”, “ q ”, “ r ”, …, and all results of putting formulae for “ p ” and “ q ” in “( p ⊃ q )”. The denial “˜ p ” is definable as “( p ⊃F)”, and all other truth functions are then definable in familiar fashion. (Conversely, in a system admitting “˜” instead of “F” as primitive, “F” might be explained as an abbreviation of “˜( P ⊃ P )”.) The postulates are four: (1) (( p ⊃ q )⊃(( q ⊃ r )⊃ ( p ⊃ r ))) (2) ((( p ⊃( q ⊃ p )⊃ p ) (3) ( p ⊃( q ⊃ p )) (4) (F⊃ p )." @default.
- W2015374966 created "2016-06-24" @default.
- W2015374966 creator A5031504392 @default.
- W2015374966 date "1938-03-01" @default.
- W2015374966 modified "2023-09-25" @default.
- W2015374966 title "Completeness of the propositional calculus " @default.
- W2015374966 cites W2319549361 @default.
- W2015374966 doi "https://doi.org/10.2307/2267505" @default.
- W2015374966 hasPublicationYear "1938" @default.
- W2015374966 type Work @default.
- W2015374966 sameAs 2015374966 @default.
- W2015374966 citedByCount "9" @default.
- W2015374966 countsByYear W20153749662018 @default.
- W2015374966 crossrefType "journal-article" @default.
- W2015374966 hasAuthorship W2015374966A5031504392 @default.
- W2015374966 hasConcept C108710211 @default.
- W2015374966 hasConcept C118615104 @default.
- W2015374966 hasConcept C134306372 @default.
- W2015374966 hasConcept C17231256 @default.
- W2015374966 hasConcept C199343813 @default.
- W2015374966 hasConcept C2524010 @default.
- W2015374966 hasConcept C2777686260 @default.
- W2015374966 hasConcept C33923547 @default.
- W2015374966 hasConcept C62073222 @default.
- W2015374966 hasConcept C69562738 @default.
- W2015374966 hasConcept C71924100 @default.
- W2015374966 hasConceptScore W2015374966C108710211 @default.
- W2015374966 hasConceptScore W2015374966C118615104 @default.
- W2015374966 hasConceptScore W2015374966C134306372 @default.
- W2015374966 hasConceptScore W2015374966C17231256 @default.
- W2015374966 hasConceptScore W2015374966C199343813 @default.
- W2015374966 hasConceptScore W2015374966C2524010 @default.
- W2015374966 hasConceptScore W2015374966C2777686260 @default.
- W2015374966 hasConceptScore W2015374966C33923547 @default.
- W2015374966 hasConceptScore W2015374966C62073222 @default.
- W2015374966 hasConceptScore W2015374966C69562738 @default.
- W2015374966 hasConceptScore W2015374966C71924100 @default.
- W2015374966 hasIssue "1" @default.
- W2015374966 hasLocation W20153749661 @default.
- W2015374966 hasOpenAccess W2015374966 @default.
- W2015374966 hasPrimaryLocation W20153749661 @default.
- W2015374966 hasRelatedWork W1812576425 @default.
- W2015374966 hasRelatedWork W1969496630 @default.
- W2015374966 hasRelatedWork W202251575 @default.
- W2015374966 hasRelatedWork W2078790484 @default.
- W2015374966 hasRelatedWork W2141010048 @default.
- W2015374966 hasRelatedWork W2142805699 @default.
- W2015374966 hasRelatedWork W2891688494 @default.
- W2015374966 hasRelatedWork W3112266304 @default.
- W2015374966 hasRelatedWork W3160700379 @default.
- W2015374966 hasRelatedWork W4384522507 @default.
- W2015374966 hasVolume "3" @default.
- W2015374966 isParatext "false" @default.
- W2015374966 isRetracted "false" @default.
- W2015374966 magId "2015374966" @default.
- W2015374966 workType "article" @default.