The following pages link to (Q3140632):
Displayed 5 items.
- The deduction theorem for strong propositional proof systems (Q987382) (← links)
- Some remarks on lengths of propositional proofs (Q1908815) (← links)
- Logical Closure Properties of Propositional Proof Systems (Q3502657) (← links)
- On the correspondence between arithmetic theories and propositional proof systems – a survey (Q3619867) (← links)
- The Deduction Theorem for Strong Propositional Proof Systems (Q5458838) (← links)