机译:Kripke模型的保存定理
Kripke model; intuitionistic first-order logic; submodel; elementary; submodel; universal sentence; existential sentence;
机译:Kripke模型的保存定理
机译:Kripke-Joyal语义的归约定理:强迫任意类别总是可以通过强迫整个Heyting代数来代替
机译:本地化有限深度的Kripke模型
机译:超图形非裂缝和延伸保护定理
机译:用Gentzen序贯方法研究某些模型逻辑的Kripke型模型
机译:筛子m-定理捆绑参数半参数模型并施加到有效估计的线性模型中截尾数据
机译:逻辑的代数和关系模型的守恒定理