ECFS 2020 Congress, 3 - 06 Haziran 2020, cilt.19, ss.64-65, (Özet Bildiri)
Proof systems for the Relativized Propositional Calculus are defined and compared.