机译:二阶直觉命题逻辑的次要语义
intuitionistic logic; propositional second order logic; tableau calculus; disjunction property; explicit definability property;
机译:二阶直觉命题逻辑的次要语义
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:经典和直觉命题逻辑的模态逻辑汞齐
机译:模糊命题逻辑和双面(直觉)模糊命题
机译:模态和直觉性命题的片段。
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:经典命题逻辑与变量的可判定性 直觉主义命题逻辑