强可靠性论文

逻辑系统L~*和BL~*的广义演绎定理的逆定理
论文摘要利用形式推演方法,给出逻辑系统L*和BL*的广义演绎定理逆定理的证明,并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。论文目录文章来源类型:期刊...