铃木,Nobu-Yuki 以一类具有无限个独立域的代数框架为特征的中间逻辑。 (英语) Zbl 0678.03006号 牛市。第节。逻辑,Pol。阿卡德。科学。 18,No.2,63-71(1989). 审核人:V.V.里巴科夫 MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{N.-Y.铃木},公牛。第节。逻辑,Pol。阿卡德。科学。18,编号2,63--71(1989;Zbl 0678.03006)
埃瓦州卡宾斯卡 关于无含意语言中的标准结果运算。 (英语) Zbl 0449.03018号 牛市。第节。逻辑,Pol。阿卡德。科学。 8, 202-205 (1979).MSC公司:03B55号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{E.Capinska},公牛。第节。逻辑,Pol。阿卡德。科学。8202-205(1979;Zbl 0449.03018)