机译:超直觉逻辑的亚帧化和稳定化
Intuitionistic logic; subframe logic; intuitionistic modal logic; lax logic; multiple-conclusion consequence relation; axiomatization;
机译:超直觉逻辑的亚帧化和稳定化
机译:限制性语言有限kripke帧的一阶超级监测逻辑的算法属性
机译:限制性语言中有限kripke帧的一阶超级监测逻辑的算法属性
机译:粗糙集的双超直觉逻辑
机译:突触稳定,去稳定和重新稳定:果蝇神经肌肉接头处神经保护性Fos信号的遗传分析。
机译:消除干扰的鲁棒模糊逻辑镇定
机译:模态直觉逻辑和谓语超直觉逻辑:对应理论(非古典逻辑及其Kripke语义的新观点)
机译:从任意初始条件稳定倒立摆的混合模糊逻辑控制