修正的Kleene逻辑系统相关硕士博士期刊学术论文 - 搜论网

修正的Kleene逻辑系统相关论文

逻辑系统W,W,Wk中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统L·及在语义上相关的修正的Kleene逻辑系统,W,Wk,引入语义[α]-MP规则,语义[α+]-MP规则,语义[α]......

期刊

模糊逻辑修正的Kleene逻辑系统广义重言式广义语义HS规则广义语义MP规则

看过本文同时还关注