Hybrid Deduction-Refutation Systems for FDE-Based Logics

DOI10.26686/AJL.V18I6.7080zbMATH Open1496.03090OpenAlexW3198912670MaRDI QIDQ5021989

Eoin Moore

Publication date: 17 January 2022

Published in: The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.26686/ajl.v18i6.7080

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (2)

FDE as a Base for Constructive Logic ⋮ Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics

This page was built for publication: Hybrid Deduction-Refutation Systems for FDE-Based Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5021989)