The following pages link to Explaining Deductive Inference (Q5213606):
Displaying 16 items.
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Game of grounds (Q2080589) (← links)
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
- Calculi of epistemic grounding based on Prawitz's theory of grounds (Q2144191) (← links)
- Introduction: Inferences and proofs (Q2288269) (← links)
- The seeming interdependence between the concepts of valid inference and proof (Q2288270) (← links)
- Inference and epistemic transparency (Q2288273) (← links)
- Dag Prawitz on proofs, operations and grounding (Q2288275) (← links)
- The fundamental problem of general proof theory (Q2631642) (← links)
- Inference as doxastic agency. I: The basics of justification stit logic (Q2631648) (← links)
- (Q3086724) (← links)
- PLANS AND PLANNING IN MATHEMATICAL PROOFS (Q5027672) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- Formal explanations as logical derivations (Q5862002) (← links)
- The validity of inference and argument (Q6612867) (← links)