Propositional Proof System
Jump to navigation
Jump to search
A Propositional Proof System is a logic proof system based on a propositional calculus.
- See: Propositional Logic, Propositional Calculus, Proof Complexity, Propositional Proof, Classical Logic.
References
2015
- (Wikipedia, 2015) ⇒ http://en.wikipedia.org/wiki/propositional_proof_system Retrieved:2015-2-25.
- In propositional calculus and proof complexity a propositional proof system (pps), also called a Cook–Reckhow propositional proof system, is system for proving classical propositional tautologies.
2013
- (Genesereth & Kao, 2013) ⇒ Michael Genesereth, and Eric Kao. (2013). “Introduction to Logic." Morgan & Claypool Publishers. doi:10.2200/S00432ED1V01Y201207CSL005