Tatton-Brown, O. W. Semantics and Completeness for Schematic Logic. LLP 2020, 30, 227-280.