...
机译:向下的Lowenheim-Skolem定理和带有构造函数的逻辑插值
JAIST, Res Ctr Software Verificat, 1-1 Asahidai, Nomi, Ishikawa 9231211, Japan;
institution; algebraic specification; first-order logic; interpolation; constructor-based logic;
机译:使用构造函数进行逻辑插补
机译:描述逻辑中的归档测试和插值的表示定理和途径&&&+及其具有n-ary角色和数值域的扩展
机译:无类型逻辑的三个插值定理
机译:使用显示计算的子结构逻辑的机器检验插值定理
机译:模态逻辑的有效完整性定理。
机译:K插值方法的经典迭代定理的新极限变形
机译:为名义isabelle中的直觉逻辑机械化Craig插值定理的证明
机译:加权sobolev空间插值定理的推广