EASL: The Digital International Liver Congress, 27 - 29 Ağustos 2020, cilt.73, ss.528, (Özet Bildiri)
Proof systems for the Relativized Propositional Calculus are defined and compared.