display all the ideas for this combination of texts
3 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
19110 | In classical logic the relation |= has Monotony built into its definition [Antonelli] |
19112 | Cautious Monotony ignores proved additions; Rational Monotony fails if the addition's negation is proved [Antonelli] |