Combining Texts

Ideas for 'works', 'Thinking About Logic' and 'Model Theory'

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 / B. Logical Consequence / 1. Logical Consequence

10970

A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read]

10984

Logical consequence isn't just a matter of form; it depends on connections like round-square [Read]

5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=

10477

|= in model-theory means 'logical consequence' - it holds in all models [Hodges,W]