机译:关于直观逻辑嵌套计算与语义系统的对应
Tech Univ Wien Inst Log & Computat A-1040 Vienna Austria;
First order; intuitionistic logic; Kripke semantics; labelled calculi; nested calculi; proof theory; propositional; refinement;
机译:时态逻辑的嵌套顺序计算中的显示假设与深度推断之间的对应关系
机译:结合直觉逻辑和经典逻辑的Kripke语义和证明系统
机译:通过嵌套顺序的时态逻辑和双直觉逻辑的句法插值
机译:从语义系统推导直觉逻辑的嵌套计算
机译:模态和直觉性命题的片段。
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:模态直觉逻辑和谓语超直觉逻辑:对应理论(非古典逻辑及其Kripke语义的新观点)