Combining Texts

Ideas for 'reports', 'Higher-Order Logic' and 'On the Elements of Being: I'

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

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

10300

Logical consequence can be defined in terms of the logical terminology [Shapiro]