约翰·伍兹 逻辑的自然主义特征。 (英语) Zbl 1513.03020号 J.应用。日志。-IfCoLog J.日志。申请。 7,第6期,1323-1378(2020).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Woods},J.Appl。日志。-IfCoLog J.日志。申请。7,第6号,1323--1378(2020;Zbl 1513.03020)
迪米特·瓦卡雷洛夫 空间和时间的无点理论。 (英语) Zbl 1513.03067号 J.应用。日志。-IfCoLog J.日志。申请。 7,第6号,1243-1321(2020).MSC公司:03B60号 03B30型 03G25号 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{D.Vakarelov},J.Appl。日志。-IfCoLog J.日志。申请。7,第6号,1243-1321(2020;Zbl 1513.03067) 全文: arXiv公司
雅罗斯拉夫·什兰科 一级牵连和二元后果系统。 (英语) Zbl 1513.03050号 J.应用。日志。-IfCoLog J.日志。申请。 7,第6期,1223-1242(2020).MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shramko},J.应用。日志。-IfCoLog J.日志。申请。7,第6号,1223--1242(2020;Zbl 1513.03050)
林内波,Ø恩斯坦;斯图尔特·沙普里奥 数学中的潜在性和不确定性。 (英语) Zbl 1513.03014号 J.应用。日志。-IfCoLog J.日志。申请。 7,第6期,1201-1221(2020).MSC公司:03A05号 03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{Ø.Linnebo}和\textit{S.Shaprio},J.Appl。日志。-IfCoLog J.日志。申请。7,第6号,1201--1221(2020;Zbl 1513.03014)
杰西卡·利奇 扩展了相对必要性。 (英语) Zbl 1513.03046号 J.应用。日志。-IfCoLog J.日志。申请。 7,第6期,1179-1200(2020).MSC公司:03B45号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{J.Leech},J.应用。日志。-IfCoLog J.日志。申请。7,第6号,1179--1200(2020;Zbl 1513.03046)
乔治·贾帕里泽 2020年可计算性逻辑基础。 (英语) Zbl 1513.03064号 J.应用。日志。-IfCoLog J.日志。申请。 第7期,第6期,1117-1177(2020).MSC公司:03B60号 03B70号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},J.应用。日志。-IfCoLog J.日志。申请。7,第6号,1117--1177(2020;Zbl 1513.03064) 全文: arXiv公司
劳埃德·亨伯斯通 逻辑上的双胞胎——相同或不同。 (英语) Zbl 1513.03044号 J.应用。日志。-IfCoLog J.日志。申请。 第7期,第6期,1073-1116(2020).MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone},J.应用。日志。-IfCoLog J.日志。申请。7,编号61073-1116(2020;兹bl 1513.03044)
罗伯特·戈德布拉特 带算子的极性和格的形态和对偶。 (英语) Zbl 1513.06034号 J.应用。日志。-IfCoLog J.日志。申请。 7,第6期,1019-1072(2020).MSC公司:06年50月 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},J.应用。日志。-IfCoLog J.日志。申请。7,第6号,1019--1072(2020;Zbl 1513.06034) 全文: arXiv公司
配件,梅尔文 Bilattice基础。 (英语) Zbl 1513.06016号 J.应用。日志。-IfCoLog J.日志。申请。 7,第6号,975-1018(2020).MSC公司:06B75号 03G10年 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.配件},J.应用。日志。-IfCoLog J.日志。申请。7,第6号,975--1018(2020;Zbl 1513.06016)
约翰·鲍德温(John T.Baldwin)。 数学模型理论的合理有效性。 (英语) Zbl 1513.03007号 J.应用。日志。-IfCoLog J.日志。申请。 第7期,第6期,945-973(2020).MSC公司:03A05号 03C98号 03C45号机组 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Baldwin},J.应用。日志。-IfCoLog J.日志。申请。7,第6号,945--973(2020;Zbl 1513.03007)
纪尧姆拍卖行 走向普遍逻辑:格格逻辑。 (英语) Zbl 1513.03049号 J.应用。日志。-IfCoLog J.日志。申请。 7,第6号,875-944(2020).MSC公司:03B47号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Aucher},J.Appl。日志。-IfCoLog J.日志。申请。7,第6号,875--944(2020;Zbl 1513.03049)