机译:正和相关逻辑中的投射贝斯性质和插值
projective Beth property; restricted interpolation property; positive logic; superintuitionistic logic; modal logic;
机译:正和相关逻辑中的投射贝斯性质和插值
机译:用于子结构逻辑的插值属性,Beth可定义性属性和合并属性
机译:基于网格的代数和逻辑中的Beth属性和插值
机译:Projective Beth在模态逻辑K4的无限切片扩展中的属性
机译:通过切线束的正性表征投影空间和光滑超二次曲面。
机译:下丘脑小白蛋白阳性神经元的电生理特性和预测
机译:插值和贝斯在多值逻辑中的属性:代数研究
机译:高阶正,单调和凸多重插值