Matches in SemOpenAlex for { <https://semopenalex.org/work/W2980490123> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2980490123 endingPage "118" @default.
- W2980490123 startingPage "118" @default.
- W2980490123 abstract "Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining ‘hybrid derivation rules’ that involve both deduction and refutation. The goal of this paper is to develop a basic theory and ‘meta-proof’ theory of hybrid deduction–refutation systems. I then illustrate the concept on a hybrid derivation system of natural deduction for classical propositional logic, for which I show soundness and completeness for both deductions and refutations." @default.
- W2980490123 created "2019-10-25" @default.
- W2980490123 creator A5066665696 @default.
- W2980490123 date "2019-10-21" @default.
- W2980490123 modified "2023-09-26" @default.
- W2980490123 title "Hybrid Deduction–Refutation Systems" @default.
- W2980490123 cites W107224311 @default.
- W2980490123 cites W18843899 @default.
- W2980490123 cites W1964195343 @default.
- W2980490123 cites W1990110049 @default.
- W2980490123 cites W1992852948 @default.
- W2980490123 cites W2014812345 @default.
- W2980490123 cites W2031902085 @default.
- W2980490123 cites W2121093145 @default.
- W2980490123 cites W2145470702 @default.
- W2980490123 cites W2160399032 @default.
- W2980490123 cites W2160634047 @default.
- W2980490123 cites W2963690674 @default.
- W2980490123 cites W4251401320 @default.
- W2980490123 cites W4256649015 @default.
- W2980490123 doi "https://doi.org/10.3390/axioms8040118" @default.
- W2980490123 hasPublicationYear "2019" @default.
- W2980490123 type Work @default.
- W2980490123 sameAs 2980490123 @default.
- W2980490123 citedByCount "4" @default.
- W2980490123 countsByYear W29804901232020 @default.
- W2980490123 countsByYear W29804901232021 @default.
- W2980490123 countsByYear W29804901232022 @default.
- W2980490123 crossrefType "journal-article" @default.
- W2980490123 hasAuthorship W2980490123A5066665696 @default.
- W2980490123 hasBestOaLocation W29804901231 @default.
- W2980490123 hasConcept C118615104 @default.
- W2980490123 hasConcept C134306372 @default.
- W2980490123 hasConcept C17231256 @default.
- W2980490123 hasConcept C199343813 @default.
- W2980490123 hasConcept C199360897 @default.
- W2980490123 hasConcept C2777686260 @default.
- W2980490123 hasConcept C33923547 @default.
- W2980490123 hasConcept C39920170 @default.
- W2980490123 hasConcept C41008148 @default.
- W2980490123 hasConcept C62073222 @default.
- W2980490123 hasConcept C69562738 @default.
- W2980490123 hasConcept C71924100 @default.
- W2980490123 hasConceptScore W2980490123C118615104 @default.
- W2980490123 hasConceptScore W2980490123C134306372 @default.
- W2980490123 hasConceptScore W2980490123C17231256 @default.
- W2980490123 hasConceptScore W2980490123C199343813 @default.
- W2980490123 hasConceptScore W2980490123C199360897 @default.
- W2980490123 hasConceptScore W2980490123C2777686260 @default.
- W2980490123 hasConceptScore W2980490123C33923547 @default.
- W2980490123 hasConceptScore W2980490123C39920170 @default.
- W2980490123 hasConceptScore W2980490123C41008148 @default.
- W2980490123 hasConceptScore W2980490123C62073222 @default.
- W2980490123 hasConceptScore W2980490123C69562738 @default.
- W2980490123 hasConceptScore W2980490123C71924100 @default.
- W2980490123 hasIssue "4" @default.
- W2980490123 hasLocation W29804901231 @default.
- W2980490123 hasLocation W29804901232 @default.
- W2980490123 hasOpenAccess W2980490123 @default.
- W2980490123 hasPrimaryLocation W29804901231 @default.
- W2980490123 hasRelatedWork W1988183551 @default.
- W2980490123 hasRelatedWork W2025571074 @default.
- W2980490123 hasRelatedWork W2078790484 @default.
- W2980490123 hasRelatedWork W2141010048 @default.
- W2980490123 hasRelatedWork W2293455754 @default.
- W2980490123 hasRelatedWork W2945569854 @default.
- W2980490123 hasRelatedWork W3038039525 @default.
- W2980490123 hasRelatedWork W3043547779 @default.
- W2980490123 hasRelatedWork W426027547 @default.
- W2980490123 hasRelatedWork W9230744 @default.
- W2980490123 hasVolume "8" @default.
- W2980490123 isParatext "false" @default.
- W2980490123 isRetracted "false" @default.
- W2980490123 magId "2980490123" @default.
- W2980490123 workType "article" @default.