范式定理相关论文
研究了模态逻辑系统S5中的析（合）取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重......
以（→，∽）为连词完全集的一阶逻辑前不范式定理是由４个等值式得到的。对于４个等值式，本文得到了它们之间的一个基本关系；同时，利用不带等词......
