Abstract
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have