公理集相关论文
本文基于中介逻辑命题演算系统MP^M构造了一个公理集合，证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出，可以方......
目的：给出Boole代数的等价刻画，揭示Boole代数和二值命题逻辑的另一种内在联系，使Boole代数更便捷地和其他代数联系。方法：从二值逻辑......
