Relativized Propositional Calculus
Computational Complexity
2012-03-12 v1
Abstract
Proof systems for the Relativized Propositional Calculus are defined and compared.
Keywords
Cite
@article{arxiv.1203.2168,
title = {Relativized Propositional Calculus},
author = {Stephen Cook},
journal= {arXiv preprint arXiv:1203.2168},
year = {2012}
}
Comments
8 pages