崔燕丽;梁英;吴洪波 BL命题逻辑系统中的强同余关系和演绎系统。 (中文。英文摘要) Zbl 1413.03002号 吉林科技大学。 56,第2期,237-241(2018).MSC公司:03B22号 03B52号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cui}等人,吉林科技大学。56,第2号,237--241(2018;Zbl 1413.03002) 全文: 内政部
梁英;崔燕丽;吴洪波 BL系统中演绎系统集代数的剩余格的性质。 (中文。英文摘要) Zbl 1399.03002号 山东大学自然科学学报。 52,第11号,65-70(2017).MSC公司:03B22号 03B52号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liang}等人,山东大学,自然科学。52,编号11,65-70(2017;兹bl 1399.03002) 全文: 内政部