演绎元相关论文
在软件学中，基于二值逻辑演算理论去求解一个公式集合关于事实集合的所有极大相容子集（即极大缩减）是信念修正理论中的一个核心问题.......
将软件学中的演绎元、极大缩减和极小减集等概念引入到与R0命题逻辑系统相对应的语义代数—R0代数中.研究各自的重要性质,给出R0代......
