Relativized Propositional Calculus

Stephen Cook

Proof systems for the Relativized Propositional Calculus are defined and compared.

picture_as_pdf flag

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment