Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework

Norihiro Kamide. Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework. Logica Universalis, 13(1):37-63, 2019. [doi]

Abstract

Abstract is missing.