The Lancet Infectious Diseases, cilt.21, sa.5, 2021 (SCI-Expanded, Scopus)
Proof systems for the Relativized Propositional Calculus are defined and compared.