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] |