display all the ideas for this combination of texts
3 ideas
13681 | Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider] |
13626 | Semantic consequence is ineffective in second-order logic [Shapiro] |
13637 | If a logic is incomplete, its semantic consequence relation is not effective [Shapiro] |