The following pages link to Natural deduction (Q1577346):
Displaying 14 items.
- Natural deduction and Curry's paradox (Q877241) (← links)
- Natural deduction and arbitrary objects (Q1061731) (← links)
- Language and proof theory. Preface to the special issue on ``Proof theory and natural language'' (Q1923834) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- The naturality of natural deduction (Q2631649) (← links)
- A Brief History of Natural Deduction (Q2757973) (← links)
- NDK and natural reasoning (Q2784794) (← links)
- Natural implication and modus ponens principle (Q2804046) (← links)
- Contextual Natural Deduction (Q3455860) (← links)
- (Q4438235) (← links)
- Natural deduction as higher-order resolution (Q4720797) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- Natural proofs (Q5906823) (← links)