The following pages link to (Q4247025):
Displaying 13 items.
- ``Inference versus consequence'' revisited: inference, consequence, conditional, implication (Q383072) (← links)
- Assertion and grounding: a theory of assertion for constructive type theory (Q408330) (← links)
- Constructive belief reports (Q514084) (← links)
- From the knowability paradox to the existence of proofs (Q625705) (← 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)
- Truth as an epistemic notion (Q2339002) (← links)
- The Church-Fitch knowability paradox in the light of structural proof theory (Q2443327) (← links)
- The assertion-candidate and the meaning of mood (Q2460191) (← links)
- The fundamental problem of general proof theory (Q2631642) (← links)
- A new framework for justification logic (Q4586147) (← links)
- Explaining Deductive Inference (Q5213606) (← links)
- Truth and Proof in Intuitionism (Q5253923) (← links)
