| 19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
| 9718 | Validity is either semantic (what preserves truth), or proof-theoretic (following procedures) [Enderton] |
| 10259 | The two standard explanations of consequence are semantic (in models) and deductive [Shapiro] |
| 10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
| 13253 | There are several different consequence relations [Beall/Restall] |
| 10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |