维奥里卡Sofrone-Stokkerman 基于带算子分配格的有限值逻辑的自动定理解析证明。 (英语) Zbl 1019.03003号 多重-有价值的日志。 6,编号3-4,289-344(2001). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B35型 03B50号 06年50月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Sofronie-Stokkermans},多特-有价值的日志。6、编号3--4、289--344(2001;Zbl 1019.03003)
维奥里卡Sofrone-Stokkerman \(\text)的普里斯特利对偶{上海}n\)-代数及其在研究Kripke型模型中的应用{上海}n\)-逻辑。 (英语) Zbl 0992.03084号 多重-有价值的日志。 5,第4期,281-305(2000).MSC公司:03G20年 03B45 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{V.Sofronie-Stokkermans},多特-有价值的日志。5,第4号,281--305(2000;Zbl 0992.03084)