EAU20 Virtual Congress, Arnhem, Hollanda, 9 - 12 Temmuz 2020, cilt.19, ss.730-731
Proof systems for the Relativized Propositional Calculus are defined and compared.