机译:防腐性逻辑:建设性理论的可解释性逻辑的类似物
intuitionistic logic; provability logic; modal logic; interpretability logic; Heyting arithmetic;
机译:防腐性逻辑:建设性理论的可解释性逻辑的类似物
机译:建设性理论的可证明性逻辑的封闭片段
机译:构造算术理论的谓词逻辑
机译:模态逻辑;认知逻辑;动态认知逻辑;解释系统;知识和变革
机译:谁的逻辑?哪种论据?引入和评估用于论证写作教学的Hintikka疑问句模型,并与Toulmin模型,停滞理论和“传统”逻辑进行比较。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:双重直觉逻辑与纳尔逊建构逻辑之间的关系(后续计算和证明理论)
机译:用逆向解释命题动态逻辑中的知识逻辑