Relativized Propositional Calculus
arXiv:1203.2168
Abstract
Proof systems for the Relativized Propositional Calculus are defined and compared.
8 pages
arXiv:1203.2168
Proof systems for the Relativized Propositional Calculus are defined and compared.
8 pages