We study and review non-classical approaches to propositional proof systems, such as using advice, probability or parameters.
