Matches in SemOpenAlex for { <https://semopenalex.org/work/W4254385267> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4254385267 abstract "We deliver the details on the smooth morphing from the verification and falsification rules of the model-relative Logic of Evaluation to the model-invariant, deductive rules of Core Logic. There are good reasons for preferring the parallelized forms of certain elimination rules in natural deduction (the ones for conjunction, the conditional, and the universal quantifier) to their more conventional serial forms. We explain how ⊥ can make its way into proofs as a conclusion, as required for applications of ¬-Introduction. We discuss the notion of harmony between introduction and elimination rules, in preparation for the full treatment of reduction procedures for the logical operators that will be provided in Chapter 6." @default.
- W4254385267 created "2022-05-12" @default.
- W4254385267 creator A5051746616 @default.
- W4254385267 date "2017-10-19" @default.
- W4254385267 modified "2023-09-24" @default.
- W4254385267 title "From the Logic of Evaluation to the Logic of Deduction" @default.
- W4254385267 doi "https://doi.org/10.1093/oso/9780198777892.003.0004" @default.
- W4254385267 hasPublicationYear "2017" @default.
- W4254385267 type Work @default.
- W4254385267 citedByCount "0" @default.
- W4254385267 crossrefType "book" @default.
- W4254385267 hasAuthorship W4254385267A5051746616 @default.
- W4254385267 hasConcept C108710211 @default.
- W4254385267 hasConcept C11413529 @default.
- W4254385267 hasConcept C134752490 @default.
- W4254385267 hasConcept C154945302 @default.
- W4254385267 hasConcept C199360897 @default.
- W4254385267 hasConcept C2524010 @default.
- W4254385267 hasConcept C32278780 @default.
- W4254385267 hasConcept C33923547 @default.
- W4254385267 hasConcept C41008148 @default.
- W4254385267 hasConcept C62073222 @default.
- W4254385267 hasConcept C65880906 @default.
- W4254385267 hasConcept C80444323 @default.
- W4254385267 hasConcept C94375191 @default.
- W4254385267 hasConcept C97364631 @default.
- W4254385267 hasConceptScore W4254385267C108710211 @default.
- W4254385267 hasConceptScore W4254385267C11413529 @default.
- W4254385267 hasConceptScore W4254385267C134752490 @default.
- W4254385267 hasConceptScore W4254385267C154945302 @default.
- W4254385267 hasConceptScore W4254385267C199360897 @default.
- W4254385267 hasConceptScore W4254385267C2524010 @default.
- W4254385267 hasConceptScore W4254385267C32278780 @default.
- W4254385267 hasConceptScore W4254385267C33923547 @default.
- W4254385267 hasConceptScore W4254385267C41008148 @default.
- W4254385267 hasConceptScore W4254385267C62073222 @default.
- W4254385267 hasConceptScore W4254385267C65880906 @default.
- W4254385267 hasConceptScore W4254385267C80444323 @default.
- W4254385267 hasConceptScore W4254385267C94375191 @default.
- W4254385267 hasConceptScore W4254385267C97364631 @default.
- W4254385267 hasLocation W42543852671 @default.
- W4254385267 hasOpenAccess W4254385267 @default.
- W4254385267 hasPrimaryLocation W42543852671 @default.
- W4254385267 hasRelatedWork W11173561 @default.
- W4254385267 hasRelatedWork W15121353 @default.
- W4254385267 hasRelatedWork W1850547 @default.
- W4254385267 hasRelatedWork W1863899 @default.
- W4254385267 hasRelatedWork W19876833 @default.
- W4254385267 hasRelatedWork W3471185 @default.
- W4254385267 hasRelatedWork W3741743 @default.
- W4254385267 hasRelatedWork W9401168 @default.
- W4254385267 hasRelatedWork W9626545 @default.
- W4254385267 hasRelatedWork W9863921 @default.
- W4254385267 isParatext "false" @default.
- W4254385267 isRetracted "false" @default.
- W4254385267 workType "book" @default.