On the Existence of Propositional Proof Systems and Oracle-relativized Propositional Logic

Shai Ben-David, Anna Gringauze. On the Existence of Propositional Proof Systems and Oracle-relativized Propositional Logic. Electronic Colloquium on Computational Complexity (ECCC), 5(21), 1998. [doi]

Abstract

Abstract is missing.