• B代数与广义量子B代数的研究

    B代数与广义量子B代数的研究

    论文摘要为了给更广泛的子结构逻辑提供统一的语义,2013年德国学者Rump利用相互独立的三条公理提出了量子B代数的概念.量子B代数是量子B逻辑所对应的逻辑代数,它为无单位情况下...
  • 量子B-代数的可逆元

    量子B-代数的可逆元

    论文摘要量子B-代数是一种非可换的逻辑代数,它可以看作是Quantale的一种推广.量子B-代数包含了多种蕴含代数,其中偏序群就是一种特殊的量子B-代数.主要研究了量子B-代数...