格蕴涵代数

摘要

本文将格与蕴涵代数结合在一起，建立了格蕴涵代数，并讨论了它的一些基本性质，为从语义的角度研究格值逻辑系统奠定了必要的基础。