Proof theory; Interpolation; Lattice-based many-valued logics; Godel logics;
机译:从命题插值导出的一阶插值
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:非经典逻辑中的插值
机译:从命题插值派生的非经典逻辑的一阶插值
机译:精度,网格大小和插值方法对LiDAR派生水文分析的影响:印第安纳州塞内卡人,纽约欧文。
机译:推导整个非洲的气象变量以研究和控制媒介传播的疾病:气候的遥感和空间插值的比较
机译:从命题插值导出的一阶插值
机译:命题演算碎片的插值