Intuitionistic logic; Kripke semantics; Labelled calculi; Nested calculi; Proof theory; Structural rule elimination;
机译:关于直观逻辑嵌套计算与语义系统的对应
机译:结合直觉逻辑和经典逻辑的Kripke语义和证明系统
机译:通过嵌套顺序的时态逻辑和双直觉逻辑的句法插值
机译:从语义系统推导直觉逻辑的嵌套计算
机译:模态和直觉性命题的片段。
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:结合直觉逻辑和古典逻辑的Kripke语义和证明系统