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