正交模格上的代数性质

本文比较系统地控计了正交模格的一些代数性质,得到了拟Heyting代数与弱BL代数等新的几类代数系统。