拉迪姆·Bělohlávek 模糊等式逻辑。 （英语） Zbl 1026.03016号 架构（architecture）。数学。逻辑 41，No.1，83-90（2002）. 摘要：作者提出了一个完备剩余格中具有真值的模糊方程逻辑的完备性定理：给定一个模糊恒等式集（Sigma）和一个恒等式（p\approxq），（p\Approxq语义上跟在\（\Sigma\）之后。因此，建立了著名的Birkhoff定理的Pavelka式推广。审核人：韦斯·aw A.Dudek（Wroc aw） 引用于1审查引用于17文件 理学硕士： 03B52号 模糊逻辑；模糊逻辑 关键词：模糊逻辑;模糊等式;等式逻辑 PDF格式BibTeX公司 XML格式引用 \textit{R.Bělohlávek}，拱门。数学。逻辑41，编号1，83-90（2002；Zbl 1026.03016） 全文： 内政部