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