43rd European Cystic Fibrosis Conference, France, 24 - 25 September 2020, vol.19, pp.72
Proof systems for the Relativized Propositional Calculus are defined and compared.