35th Annual EAU Congress - Virtual, Amsterdam, Hollanda, 17 - 26 Temmuz 2020, cilt.19, ss.144-145, (Özet Bildiri)
Proof systems for the Relativized Propositional Calculus are defined and compared.