Propositional proof system
In propositional calculus and proof complexity a propositional proof system (pps), also called a CookâReckhow propositional proof system, is a system for proving classical propositional tautologies.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.