EASL: The Digital International Liver Congress, 27 - 29 August 2020, vol.73, pp.528, (Summary Text)
Proof systems for the Relativized Propositional Calculus are defined and compared.