路易斯·埃斯特拉达·冈萨雷斯 关于Béziau关于LP的“相当平凡定理”的简要说明。 (英语) Zbl 1477.03090号 日志。日志。菲洛斯。 28,第2号,355-361(2019).MSC公司:03B53号 03B50号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Estrada-González},日志。日志。菲洛斯。28,编号2,355--361(2019;Zbl 1477.03090) 全文: DOI程序
彼得·乌科斯基 句子的“分配”还是“集体”方法? (英语) Zbl 1443.03003号 日志。日志。菲洛斯。 28,第2期,331-354(2019). 审核人:阿穆纳特吉(瓦尔帕拉索) MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Łukowski},日志。日志。菲洛斯。28,第2号,331--354(2019;Zbl 1443.03003) 全文: DOI程序
Szmuc,Damian E。 次协调弱Kleene逻辑的认知解释。 (英语) Zbl 1452.03070号 日志。日志。菲洛斯。 28,第2期,277-330(2019). 审核人:Albert Hoogewijs(根特) MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Szmuc},日志。日志。菲洛斯。28,第2号,277--330(2019;Zbl 1452.03070) 全文: DOI程序
马钦·特卡奇克;托马斯·贾穆·埃克 JerzyŁos位置演算和时态逻辑的起源。 (英语) Zbl 1443.03010号 日志。日志。菲洛斯。 28,第2号,259-276(2019). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03B44号 03-03 01年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Tkaczyk}和\textit{T.Jarmużek},Log。日志。菲洛斯。28,第2号,259--276(2019;Zbl 1443.03010) 全文: DOI程序
雅罗斯拉夫·彼得鲁金;瓦西里·尚金 通过对应分析实现强Kleene逻辑及其二进制扩展的自动证明搜索。 (英语) 兹比尔1446.03055 日志。日志。菲洛斯。 28,第2期,223-257(2019).MSC公司:03B50号 03B35型 03财年03 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Petrukhin}和\textit{V.Shangin},Log。日志。菲洛斯。28,第2号,223--257(2019;Zbl 1446.03055) 全文: DOI程序
马吉德·阿里扎德;阿里·比巴克 直觉逻辑中稳定公式的注记。 (英语) Zbl 1453.03001号 日志。日志。菲洛斯。 28,第2期,209-222(2019). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alizadeh}和\textit{A.Bibak},日志。日志。菲洛斯。28,第2号,209--222(2019;Zbl 1453.03001) 全文: DOI程序
阿奇尔·瓦尔齐(Achille C.Varzi)。 关于古典mereology的三个公理系统。 (英语) Zbl 1477.03020号 日志。日志。菲洛斯。 203-207年第2期28号(2019年).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Varzi},日志。日志。菲洛斯。28,第2号,203-207(2019;Zbl 1477.03020) 全文: DOI程序