极大命题集相关论文
该文涉及三个命题逻辑系统:二值经典逻辑系统,Lukasiewicz逻辑系统和L逻辑系统,主要内容是在不同的逻辑系统中有重点的讨论命题集......
基于一般R0代数的定义,在e*命题集中定义了一种特殊的具体的R0代数-T-R0代数;基于对e*系统中的极大命题集和完备命题集,给出了T-R0......
基于一般R0代数的定义，在e^＊命题集中定义了一种特殊的具体的R0代数-Г-R0代数：基于对e^＊系统中的极大命题集和完备命题集，给出了Г-R0......
本文系统的讨论了二值命题逻辑系统中极大命题集与完备命题集,给出了两种命题集的等价描述和表示定理,揭示了极大命题集和完备命题......
