EAU 20 Virtual, 17 - 26 Temmuz 2020, cilt.19, ss.1268-1269, (Tam Metin Bildiri)
Proof systems for the Relativized Propositional Calculus are defined and compared.