...
机译:质量问题和直觉的高阶逻辑
Degrees of unsolvability; Muchnik degrees; mass problems; intuitionism; computable analysis; higher-order logic; topos theory; sheaves; sheaf theory; Kolmogorov;
机译:质量问题和直觉的高阶逻辑
机译:直觉逻辑和模态逻辑S4中用于证明搜索和计划的多主体对话和对话序列
机译:经典和直觉命题逻辑的模态逻辑汞齐
机译:直觉模糊描述逻辑与直觉模糊逻辑程序相结合的混合系统
机译:单子直觉和模态逻辑承认可证明性
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:质量问题和直觉主义的高阶逻辑
机译:从索引的Lax逻辑到直觉逻辑