The following pages link to Relevant harmony (Q2804328):
Displaying 12 items.
- A note on harmony (Q452347) (← links)
- On harmony and permuting conversions (Q518743) (← links)
- General-elimination stability (Q526738) (← links)
- Frege's content-principle and relevant deducibility (Q1404388) (← links)
- On the equivalence conjecture for proof-theoretic harmony (Q1934955) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- An Alternative Natural Deduction for the Intuitionistic Propositional Logic (Q2957671) (← links)
- (Q3003836) (← links)
- Does the Implication Elimination Rule Need a Minor Premise? (Q3121971) (← links)
- HARMONISING HARMONY (Q3195584) (← links)
- Peano's Counterexample to Harmony (Q3305303) (← links)
- Harmonious Extensions (Q4389016) (← links)