Hybrid Deduction–Refutation Systems
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 d...
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | लेख |
| भाषा: | English |
| प्रकाशित: |
MDPI AG
2019-10-01
|
| श्रृंखला: | Axioms |
| विषय: | |
| ऑनलाइन पहुंच: | https://www.mdpi.com/2075-1680/8/4/118 |