ECFS 2020 Congress, France, 3 - 06 June 2020, vol.19, pp.64-65
Proof systems for the Relativized Propositional Calculus are defined and compared.