Propositional proof system
subject: Category:Automated theorem proving
subject: Category:Computational complexity theory
hypernym: System
subject: Category:Propositional calculus
subject: Category:Logic in computer science
description: System to prove classical propositional tautologies.
subject: Category:Systems of formal logic