准重言式相关论文
建立了险象识别格的概念，并引进次大元，次小元，心脏，外壳，Boole型子格等相关概念，讨论其基本性质并给出若干例子，从而为进一步研究险象识......
介绍了3种真值集为非线性序集的4值逻辑系统的┐，∨，∨运算及蕴含算子→，并研究了它们的性质及重言式理论，准重言式理论，得到一些结论。......
考虑了Kleene蕴涵算子的导出算子的三值逻辑系统I3和n值逻辑系统In(n>3).首先,给出I3的真值表,证明了I3是二值逻辑系统C2的推广.其......
