安德烈·因德泽扎克(Andrzej Indrzejczak) 四值拟相关逻辑的双序列演算:割消和插值。 (英语) Zbl 07800190号 J.汽车。推理 67,第4号,第37号论文,第19页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Indrzejczak},J.奥托姆。推理67,第4号,论文37,19页(2023;Zbl 07800190) 全文: 内政部 OA许可证
保罗·普里查德 命题演算矩阵模型的发现算法。 (英语) Zbl 0743.03003号 J.汽车。推理 第7期,第4期,475-487页(1991年).MSC公司:03-04 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{P.Pritchard}、J.Autom。推理7,第4号,475--487(1991;Zbl 0743.03003) 全文: 内政部