Combining Philosophers

Ideas for Eubulides, John P. Burgess and Rayo,A/Uzquiasno,G

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

display all the ideas for this combination of philosophers

---

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]