内博伊沙·伊科迪诺维奇;Ognjanović,佐兰;阿列克桑达尔·佩罗维奇;米奥德拉格·拉什科维奇 可加概率语义的完备性定理。 (英语) Zbl 1452.03064号 Ann.纯粹应用。逻辑 171,第4期,文章ID 102755,27页(2020年). 审核人:吉尔根·兰德斯(慕尼黑) MSC公司:03B48号 03B42号 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Ikodinović}等人,Ann.Pure Appl。逻辑171,第4号,文章ID 102755,27页(2020;Zbl 1452.03064) 全文: 内政部
巴兹尔·卡戴斯。 原子性、信息一致性和无点结构。 (英语) Zbl 1348.68112号 Ann.纯粹应用。逻辑 167,第9期,753-769(2016). 审核人:Ittay Weiss(朴茨茅斯) MSC公司:68问题55 06B35号 18B30型 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Karádais},Ann.纯苹果。Logic 167,No.9,753--769(2016;Zbl 1348.68112) 全文: 内政部
路易吉·桑托卡纳莱;维尼马,伊德 平面模态不动点逻辑的完整性。 (英语) Zbl 1225.03020号 Ann.纯粹应用。逻辑 162,第1期,55-82(2010).MSC公司:03B45号 03B70号 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale}和\textit{Y.Venema},Ann.Pure Appl。逻辑162,No.1,55--82(2010;Zbl 1225.03020) 全文: 内政部 链接
帕特里夏·鲍耶;托马斯·布里海耶;Fabrice骑士 加权o-最小混合系统。 (英语) Zbl 1219.68114号 Ann.纯粹应用。逻辑 161,第3号,268-288(2009年).MSC公司:60年第68季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Ann.Pure Appl。逻辑161,No.3,268--288(2009;Zbl 1219.68114) 全文: 内政部
Ernst-Erich Doberkat;克里斯托夫·舒伯特 随机右余代数的余代数逻辑。 (英语) Zbl 1179.03023号 Ann.纯粹应用。逻辑 159,第3期,268-284(2009). 审核人:卢茨·施罗德(不来梅) MSC公司:03B45号 03B70号 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat}和\textit{C.Schubert},Ann.Pure Appl。逻辑159,No.3,268--284(2009;Zbl 1179.03023) 全文: 内政部
Ernst Erich多伯卡特 随机组合逻辑:双相似性和行为等价性。 (英语) Zbl 1147.03014号 Ann.纯粹应用。逻辑 155,第1号,46-68(2008).MSC公司:03B70号 03B45号 68问题55 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat},Ann.纯粹应用。逻辑155,No.1,46--68(2008;Zbl 1147.03014) 全文: 内政部
巴哈雷赫巴德班;雅各布·范德波尔 BDD中的零、继承和平等。 (英语) Zbl 1064.03009号 Ann.纯粹应用。逻辑 133,编号1-3,101-123(2005).MSC公司:03B20型 03B25号 03B35型 68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{J.van de Pol},Ann.纯应用。逻辑133,编号1--3,101-123(2005;Zbl 1064.03009) 全文: 内政部 链接
劳伦斯·莫斯。 Coalgebraic逻辑。 (英语) Zbl 0969.03026号 Ann.纯粹应用。逻辑 96,编号1-3,277-317(1999); 勘误表同上,第99号,第1-3、241-259(1999年)。 审核人:V.Shekhtman(莫斯科) MSC公司:03B45号 03G30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Moss},Ann.纯粹应用。《逻辑学》96,No.1--3,277--317(1999);勘误表同上,第1--3、241--259号(1999;Zbl 0969.03026) 全文: 内政部
萨姆森·艾布拉姆斯基 逻辑形式的领域理论。 (英语) Zbl 0737.03006号 Ann.纯粹应用。逻辑 51,第1-2、1-77号(1991年). 审核人:G.乔巴努(伊阿什) MSC公司:03B70号 68问题55 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky},Ann.纯粹应用。逻辑51,编号1-2,1-77(1991;Zbl 0737.03006) 全文: 内政部