崔燕丽;梁颖;吴洪波 BL命题逻辑系统中的强同余关系和演绎系统。 （中文。英文摘要） Zbl 1413.03002号 吉林科技大学。 56，第2期，237-241（2018）. 摘要：在BL命题逻辑系统的公式集（mathscr{F}（S））上提出了演绎系统的概念，并引入了强同余关系。我们讨论了BL系统中演绎系统与强同余关系之间的联系，给出了它们之间相互转换的方法，并得到了它们之间相互转换的可约性。 MSC公司： 03B22号 抽象演绎系统 03B52号 模糊逻辑；模糊逻辑 03G25号 与逻辑相关的其他代数 关键词：模糊逻辑;命题逻辑系统;演绎系统;强同余关系 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Cui｝等人，吉林大学学报，科学版。56，第2号，237--241（2018；Zbl 1413.03002） 全文： 内政部