EAU 20 Virtual, 17 - 26 July 2020, vol.19, pp.1268-1269, (Full Text)
Proof systems for the Relativized Propositional Calculus are defined and compared.