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