The following pages link to (Q3722468):
Displaying 16 items.
- The epistemic significance of valid inference (Q383064) (← links)
- Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
- Partial inductive definitions (Q1177153) (← links)
- Meaningfulness and order-invariance: Two fundamental principles for scientific laws (Q1768888) (← links)
- The foundation of a generic theorem prover (Q1823013) (← links)
- A note on the proof theory of the \(\lambda \Pi\)-calculus (Q1891931) (← 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)
- Meaning approached via proofs (Q2500819) (← links)
- (Q3007262) (← links)
- Dummett's case for intuitionism (Q3342527) (← links)
- (Q4360856) (← links)
- (Q4793042) (← links)
- Explaining Deductive Inference (Q5213606) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- On extensibility of proof checkers (Q6061878) (← links)