The following pages link to (Q5599787):
Displaying 7 items.
- Acceptance, inference, and the multiple-conclusion sequent (Q383068) (← links)
- Inductivism and Parmenidean epistemology: Kyburg's way (Q432961) (← links)
- A rule of acceptance based on logical probability (Q1393396) (← links)
- (Q3086723) (← links)
- (Q4000320) (← links)
- The Epistemology of Computer-Mediated Proofs (Q4972861) (← links)
- (Q5740446) (← links)