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