Combining Texts

Ideas for 'Folk Psychology', 'Philosophical Logic' and 'works'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

3 ideas

5. Theory of Logic / H. Proof Systems / 1. Proof Systems

15406

'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess]

5. Theory of Logic / H. Proof Systems / 6. Sequent Calculi

15425

The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess]

15426

We can build one expanding sequence, instead of a chain of deductions [Burgess]