等值完全析取范式相关硕士博士期刊学术论文 - 搜论网

等值完全析取范式相关论文

关于中介命题演算系统MP范式的研究

本文主要研究了关于中介命题演算系统MP范式,同时还提出了构造等值完全析取范式形成化算法,并证明了等值完全析取范式的存在和唯一......

会议

软件技术中介命题演算系统命题联结词组等值完全析取范式

MPM中的等值完全析取范式

主要讨论中介逻辑命题演算系统MP中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾......

期刊

数理逻辑命题演算中介逻辑析取范式联结词

看过本文同时还关注