EAU20 Virtual Congress, Arnhem, Netherlands, 9 - 12 July 2020, vol.19, pp.730-731
Proof systems for the Relativized Propositional Calculus are defined and compared.