Hybrid Deduction–Refutation Systems

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...

Full description

Bibliographic Details
Main Author: Valentin Goranko
Format: Article
Language:English
Published: MDPI AG 2019-10-01
Series:Axioms
Subjects:
deductive refutability
refutation systems
hybrid deduction–refutation rules
derivative hybrid rules
soundness
completeness
natural deduction
meta-proof theory
Online Access:https://www.mdpi.com/2075-1680/8/4/118

Internet

https://www.mdpi.com/2075-1680/8/4/118

Similar Items