...
机译:在直觉依赖逻辑中表达二阶句子
Department of Mathematics and Statistics University of Helsinki">(1);
Dependence logic; Intuitionistic implication; Second order logic;
机译:在直觉依赖逻辑中表达二阶句子
机译:通过简化为一阶单分类逻辑,简单证明二阶古典和直觉逻辑的完备性定理
机译:二阶直觉命题逻辑的邻域和格模型
机译:二阶单子逻辑表示的特征树上的排序约束
机译:单子直觉和模态逻辑承认可证明性
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:在直觉主义依赖逻辑中表达二阶句
机译:从索引的Lax逻辑到直觉逻辑