A Hybrid Calculus for the Validities and Invalidities of Classical Propositional Logic. - Golan, Rea (Journal of Philosophical Logic, 2024)