机译:双直觉蕴涵结构
Institut fur Philosophie II, Ruhr-Universitat Bochum, Bochum, Germany;
Implication structures; bi-intuitionistic logic; dual intuitionistic logic; co-negation; co-implication;
机译:通过嵌套顺序的时态逻辑和双直觉逻辑的句法插值
机译:双直觉命题序列阶段的证明理论研究
机译:双直觉线性逻辑的证明网
机译:(模态)双直觉逻辑的Hennessy-Milner属性
机译:学校情境中的体育活动和行为:对结构化和非结构化体育活动设置的影响。
机译:基于氨基酸序列和3D结构分析的高序列同一性蛋白质3D结构差异的原因
机译:匈牙利西马特拉山区的火山演替和破坏事件的作用:对火山构造的影响/ 西马特拉山区的火山学演替和构造事件:对火山构造的影响 i>