The following pages link to (Q4247025):
Displaying 4 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)
