LANCET PSYCHIATRY, vol.7, no.9, pp.735, 2020 (SCI-Expanded, SSCI, Scopus)
Proof systems for the Relativized Propositional Calculus are defined and compared.