Matches in SemOpenAlex for { <https://semopenalex.org/work/W4298032519> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4298032519 abstract "Multiple-conclusion logic extends formal logic by allowing arguments to have a set of conclusions instead of a single one, the truth lying somewhere among the conclusions if all the premises are true. The extension opens up interesting possibilities based on the symmetry between premises and conclusions, and can also be used to throw fresh light on the conventional logic and its limitations. This is a sustained study of the subject and is certain to stimulate further research. Part I reworks the fundamental ideas of logic to take account of multiple conclusions, and investigates the connections between multiple - and single - conclusion calculi. Part II draws on graph theory to discuss the form and validity of arguments independently of particular logical systems. Part III contrasts the multiple - and the single - conclusion treatment of one and the same subject, using many-valued logic as the example; and Part IV shows how the methods of 'natural deduction' can be matched by direct proofs using multiple conclusions." @default.
- W4298032519 created "2022-10-01" @default.
- W4298032519 creator A5017467662 @default.
- W4298032519 creator A5068302002 @default.
- W4298032519 date "1978-07-06" @default.
- W4298032519 modified "2023-10-03" @default.
- W4298032519 title "Multiple-Conclusion Logic" @default.
- W4298032519 doi "https://doi.org/10.1017/cbo9780511565687" @default.
- W4298032519 hasPublicationYear "1978" @default.
- W4298032519 type Work @default.
- W4298032519 citedByCount "183" @default.
- W4298032519 countsByYear W42980325192012 @default.
- W4298032519 countsByYear W42980325192013 @default.
- W4298032519 countsByYear W42980325192014 @default.
- W4298032519 countsByYear W42980325192015 @default.
- W4298032519 countsByYear W42980325192016 @default.
- W4298032519 countsByYear W42980325192017 @default.
- W4298032519 countsByYear W42980325192018 @default.
- W4298032519 countsByYear W42980325192019 @default.
- W4298032519 countsByYear W42980325192020 @default.
- W4298032519 countsByYear W42980325192021 @default.
- W4298032519 countsByYear W42980325192022 @default.
- W4298032519 countsByYear W42980325192023 @default.
- W4298032519 crossrefType "monograph" @default.
- W4298032519 hasAuthorship W4298032519A5017467662 @default.
- W4298032519 hasAuthorship W4298032519A5068302002 @default.
- W4298032519 hasConcept C108710211 @default.
- W4298032519 hasConcept C111472728 @default.
- W4298032519 hasConcept C132525143 @default.
- W4298032519 hasConcept C138885662 @default.
- W4298032519 hasConcept C161191863 @default.
- W4298032519 hasConcept C166957645 @default.
- W4298032519 hasConcept C177264268 @default.
- W4298032519 hasConcept C199343813 @default.
- W4298032519 hasConcept C199360897 @default.
- W4298032519 hasConcept C2524010 @default.
- W4298032519 hasConcept C2776608160 @default.
- W4298032519 hasConcept C2777686260 @default.
- W4298032519 hasConcept C2777855551 @default.
- W4298032519 hasConcept C2778029271 @default.
- W4298032519 hasConcept C33923547 @default.
- W4298032519 hasConcept C41008148 @default.
- W4298032519 hasConcept C71924100 @default.
- W4298032519 hasConcept C80444323 @default.
- W4298032519 hasConcept C95457728 @default.
- W4298032519 hasConceptScore W4298032519C108710211 @default.
- W4298032519 hasConceptScore W4298032519C111472728 @default.
- W4298032519 hasConceptScore W4298032519C132525143 @default.
- W4298032519 hasConceptScore W4298032519C138885662 @default.
- W4298032519 hasConceptScore W4298032519C161191863 @default.
- W4298032519 hasConceptScore W4298032519C166957645 @default.
- W4298032519 hasConceptScore W4298032519C177264268 @default.
- W4298032519 hasConceptScore W4298032519C199343813 @default.
- W4298032519 hasConceptScore W4298032519C199360897 @default.
- W4298032519 hasConceptScore W4298032519C2524010 @default.
- W4298032519 hasConceptScore W4298032519C2776608160 @default.
- W4298032519 hasConceptScore W4298032519C2777686260 @default.
- W4298032519 hasConceptScore W4298032519C2777855551 @default.
- W4298032519 hasConceptScore W4298032519C2778029271 @default.
- W4298032519 hasConceptScore W4298032519C33923547 @default.
- W4298032519 hasConceptScore W4298032519C41008148 @default.
- W4298032519 hasConceptScore W4298032519C71924100 @default.
- W4298032519 hasConceptScore W4298032519C80444323 @default.
- W4298032519 hasConceptScore W4298032519C95457728 @default.
- W4298032519 hasLocation W42980325191 @default.
- W4298032519 hasOpenAccess W4298032519 @default.
- W4298032519 hasPrimaryLocation W42980325191 @default.
- W4298032519 hasRelatedWork W1590096425 @default.
- W4298032519 hasRelatedWork W1987272770 @default.
- W4298032519 hasRelatedWork W1995284689 @default.
- W4298032519 hasRelatedWork W2025910816 @default.
- W4298032519 hasRelatedWork W2143578351 @default.
- W4298032519 hasRelatedWork W2321824256 @default.
- W4298032519 hasRelatedWork W2333819912 @default.
- W4298032519 hasRelatedWork W2352495365 @default.
- W4298032519 hasRelatedWork W2748952813 @default.
- W4298032519 hasRelatedWork W4251067554 @default.
- W4298032519 isParatext "false" @default.
- W4298032519 isRetracted "false" @default.
- W4298032519 workType "book" @default.