极大缩减相关论文
在软件学中，基于二值逻辑演算理论去求解一个公式集合关于事实集合的所有极大相容子集（即极大缩减）是信念修正理论中的一个核心问题.......
本文的目的在于建立模态逻辑的计量化理论,并将其基本方法用于解决模型检验的计量化问题以及简化模型检验的过程.计量逻辑学的提出......
将软件学中的演绎元、极大缩减和极小减集等概念引入到与R0命题逻辑系统相对应的语义代数—R0代数中.研究各自的重要性质,给出R0代......
