本文提出了利用Horn函数理论研究混合属性蕴含公理系统的方法。首先给出了Horn函数理论及混合属性蕴含的基本概念，研究得出混合形式背景的代数结构，进一步推导出混合属性蕴含的基本性质，并用Horn 函数理论中的Horn CNF证明了简化逻辑满足混合属性...