Pages that link to "Item:Q5458838"
From MaRDI portal
The following pages link to The Deduction Theorem for Strong Propositional Proof Systems (Q5458838):
Displaying 4 items.
- Nondeterministic functions and the existence of optimal proof systems (Q837177) (← links)
- The deduction theorem for strong propositional proof systems (Q987382) (← links)
- Logical Closure Properties of Propositional Proof Systems (Q3502657) (← links)
- On the correspondence between arithmetic theories and propositional proof systems – a survey (Q3619867) (← links)
