Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria;
intuitionistic logic; existence predicate; gentzen calculus; interpolation; beth definability; cut-elimination; skolemization; truth-value logics; goedel logics; scott logics; kripke models;
机译:通过嵌套顺序的时态逻辑和双直觉逻辑的句法插值
机译:一般复发性分形插值函数的存在和框尺寸
机译:LCA群中拟rγS和普通稳定采样与插值的存在
机译:关于非带限信号存在带限插值
机译:偶然存在的逻辑
机译:基于新的侧面和侧顶点插值运算符的C1三角核心面结构和图像插值
机译:用计算机做逻辑:在直觉命题逻辑的片段中进行插值
机译:pc-紧凑性,是存在部分正确性的声音和完整逻辑的必要条件