Order:
  1.  12
    Kripke Submodels and Universal Sentences.Ben Ellison, Jonathan Fleischmann, Dan McGinn & Wim Ruitenburg - 2007 - Mathematical Logic Quarterly 53 (3):311-320.
    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 theorem. If a Kripke model is viewed as a functor from a small category to the category of all classical models with morphisms between them, then we define a submodel of a Kripke model to be a restriction of the original Kripke model to a subcategory of its domain, where every node in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  22
    Quantifier Elimination for a Class of Intuitionistic Theories.Ben Ellison, Jonathan Fleischmann, Dan McGinn & Wim Ruitenburg - 2008 - Notre Dame Journal of Formal Logic 49 (3):281-293.
    From classical, Fraïissé-homogeneous, ($\leq \omega$)-categorical theories over finite relational languages, we construct intuitionistic theories that are complete, prove negations of classical tautologies, and admit quantifier elimination. We also determine the intuitionistic universal fragments of these theories.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  10
    Approximate Measurement Invariance in Cross-Classified Rater-Mediated Assessments.Ben Kelcey, Dan McGinn & Heather Hill - 2014 - Frontiers in Psychology 5.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation