Hybrid Deduction-Refutation Systems for FDE-Based Logics

Authors

  • Eoin Moore City University of New York Graduate Center

DOI:

https://doi.org/10.26686/ajl.v18i6.7080

Abstract

Hybrid deduction-refuation systems are presented for four first-degree entailment based logics. The hybrid systems are shown to be deductively and refutationally sound with respect to their logics. The proofs of completeness are presented in a uniform way. The paper builds on work by Goranko, who presented a deductively and refutationally sound and complete hybrid system for classical logic.

Downloads

Download data is not yet available.

Downloads

Published

2021-08-24