Sciweavers

436 search results - page 88 / 88
» Lightweight Rule Induction
Sort
View
MLQ
2007
90views more  MLQ 2007»
13 years 5 months ago
Kripke submodels and universal sentences
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...
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim...