The following pages link to Harmonising natural deduction (Q948984):
Displaying 6 items.
- Classical harmony: Rules of inference and the meaning of the logical constants (Q1340989) (← links)
- Harmony and autonomy in classical logic (Q1568714) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- The harmony of identity (Q2281316) (← links)
- Relevant harmony (Q2804328) (← links)
- Peano's Counterexample to Harmony (Q3305303) (← links)