Hybrid Deduction-Refutation Systems

Valentin Goranko. Hybrid Deduction-Refutation Systems. Axioms, 8(4):118, 2019. [doi]

Abstract

Abstract is missing.