Pages that link to "Item:Q2631642"

The following pages link to The fundamental problem of general proof theory (Q2631642):

Displaying 5 items.

• Subatomic negation (Q2035849) (← links)
• Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics (Q2121478) (← links)
• The seeming interdependence between the concepts of valid inference and proof (Q2288270) (← links)
• The Concepts of Proof and Ground (Q3305636) (← links)
• The validity of inference and argument (Q6612867) (← links)