11 search results - page 3 / 3 » Admissible rules in the implication-negation fragment of int... |
MLQ
2007
13 years 4 months ago
2007
We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theor...