35th Annal EAU Congress-Virtual, Amsterdam, Netherlands, 17 - 26 July 2020, vol.19, pp.1588-1589, (Summary Text)
Proof systems for the Relativized Propositional Calculus are defined and compared.