Nuclear Physics A, cilt.1005, 2021 (SCI-Expanded)
Proof systems for the Relativized Propositional Calculus are defined and compared.