马修·维达尔 “即使”条件的组合语义。 (英语) Zbl 1417.03220号 日志。日志。菲洛斯。 26,第2期,237-276(2017).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{M.Vidal},日志。日志。菲洛斯。26,第2号,237--276(2017;Zbl 1417.03220) 全文: 内政部
亚历山大·卡彭科;娜塔莉亚·托莫娃 博克瓦尔的三值逻辑和文字逻辑:它们的格和功能等价。 (英语) Zbl 1477.03074号 日志。日志。菲洛斯。 26,第2期,207-235(2017).MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.Karpenko}和\textit{N.Tomova},日志。日志。菲洛斯。26,第2号,207--235(2017;Zbl 1477.03074) 全文: 内政部
雅罗斯拉夫·彼得鲁金 三值正则逻辑的自然演绎。 (英语) Zbl 1417.03181号 日志。日志。菲洛斯。 26,第2期,197-206(2017).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Petrukhin},日志。日志。菲洛斯。26,第2号,197--206(2017;Zbl 1417.03181) 全文: 内政部
科德斯,莫里茨;弗里德里希·雷蒙特 自然演绎线性计算中的注释和言外表达。 (英语) Zbl 1417.03129号 日志。日志。菲洛斯。 26,第2期,163-196(2017).MSC公司:03B22号 03B65号 03财年03 03年05月 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordes}和\textit{F.Reimuth},日志。日志。菲洛斯。26,No.2,163--196(2017;Zbl 1417.03129) 全文: 内政部