TRANSACTIONS OF NONFERROUS METALS SOCIETY OF CHINA, cilt.30, sa.5, ss.1169-1182, 2020 (SCI-Expanded)
Proof systems for the Relativized Propositional Calculus are defined and compared.