乔治·沃萨达基斯 范畴抽象代数逻辑：可代数化的机构。 （英语） 兹比尔1028.03051 申请。类别。结构。 10，第6期，531-568（2002）. 将W.J.Blok和D.Pigozzi提出的演绎系统的代数化框架推广到带量词的多签名逻辑的代数化。审核人：尤里·莫夫西扬（埃里温） 引用于14文件 理学硕士： 03G25号 与逻辑相关的其他代数 03G30型 分类逻辑，拓扑 18二氧化碳 赤道类 关键词：代数逻辑;等价演绎系统;代数化逻辑;机构;同等机构;代数理论;单子叶植物;三元组;附加词;代数机构;等效类别;代数化机构;等式逻辑;克隆代数;代换代数;一阶逻辑;柱代数;多元代数;基于图的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{G.Voutsadakis}，应用。类别。结构。10，第6号，531--568（2002；Zbl 1028.03051） 全文： 内政部