利奥·伊萨基亚 出版物列表。 (英语) Zbl 1246.03008号 螺柱日志。 100,第1-2、10-15号(2012).MSC公司:03-03 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Esakia},研究日志。100,编号1--2,10--15(2012;Zbl 1246.03008) 全文: DOI程序
尤里·古里维奇;帕斯莫尔,格兰特·O。 令人信服地强加随机性。 (英语) Zbl 1262.68054号 螺柱日志。 100,编号1-2193-222(2012).MSC公司:68问题30 60A99型 62A01型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich}和\textit{G.O.Passmore},Stud.Log。100,编号1-2193-222(2012年;兹bl 1262.68054) 全文: DOI程序 arXiv公司
罗伯特·戈德布拉特 一些Rasiowa-Sikorski引理的拓扑证明。 (英语) Zbl 1259.06009号 螺柱日志。 100,编号1-2,175-191(2012).MSC公司:06D20日 05年6月 54天30分 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},研究日志。100,编号1--2,175--191(2012;Zbl 1259.06009) 全文: DOI程序
戴维,文学学士。;H·A·普里斯特利。 格代数有限生成变种的规范扩张和离散对偶。 (英语) Zbl 1258.08005号 螺柱日志。 100,编号1-2,137-161(2012). 审核人:伊万·查伊达(Přerov) MSC公司:08C20号 06B23号 54甲12 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Davey}和\textit{H.A.Priestley},Stud.Log。100,编号1--2,137-161(2012;Zbl 1258.08005) 全文: DOI程序
列夫·贝克莱米舍夫;古拉姆·贝扎尼什维利;丹尼尔·蒙迪奇;维尼马,伊德 纪念利奥·伊萨基亚的特别版前言。 (英语) Zbl 1246.03007号 螺柱日志。 100,第1-2、1-7号(2012).MSC公司:03-03 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Beklemishev}等人,研究日志。100,编号1--2,1--7(2012;Zbl 1246.03007) 全文: DOI程序
文森佐·马拉;卢卡·斯帕达 MV-代数和Tychonoff空间之间的对偶附加。 (英语) Zbl 1252.06006号 螺柱日志。 100,编号1-2,253-278(2012). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:05年6月 18A40型 54D15号 PDF格式BibTeX公司 XML格式引用 \textit{V.Marra}和\textit{L.Spada},研究日志。100,编号1--2,253--278(2012;Zbl 1252.06006) 全文: DOI程序
A.Jung。;美国里维奇奥。 双参数的普里斯特利对偶。 (英语) Zbl 1258.06008号 螺柱日志。 100,编号1-2,223-252(2012). 审核人:米罗斯拉夫·普洛什切卡(科希策) MSC公司:06天50分 75年6月 08C20号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Jung}和\textit{U.Rivieccio},Stud.Log。100,编号1--2,223--252(2012;Zbl 1258.06008) 全文: DOI程序
大野广明 剩余格的Crawley完备和子结构谓词逻辑的代数完备。 (英语) Zbl 1263.03059号 螺柱日志。 100,编号1-2,339-359(2012). 审核人:Hiroki Takamura(东京) MSC公司:03G25号 03B47号 06B23号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{H.Ono},螺柱日志。100,编号1--2,339--359(2012;Zbl 1263.03059) 全文: DOI程序
迪米特·瓦卡雷洛夫 动态模式。 (英语) Zbl 1257.03047号 螺柱日志。 100,编号1-2,385-397(2012). 审核人:齐格弗里德·戈特瓦尔德(莱比锡) MSC公司:03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Vakarelov},研究日志。100,编号1--2385--397(2012;Zbl 1257.03047) 全文: DOI程序
德米特里·斯科沃尔佐夫 一些具有弱常域原理的超直觉谓词逻辑的Kripke层完备性。 (英语) 兹比尔1258.03031 螺柱日志。 100,编号1-2,361-383(2012). 审核人:马可·贝尼尼(布奇纳斯科) MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},螺柱日志。100,编号1--2361--383(2012;Zbl 1258.03031) 全文: DOI程序
奥廷索夫,谢尔盖·P。;拉特金,E.I。 \(\mathbf{BK}\)-晶格。Belnapian模态逻辑的代数语义。 (英语) Zbl 1283.03090号 螺柱日志。 100,编号1-2319-338(2012).MSC公司:03G10年 03B45号 08B15号 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Odintsov}和\textit{E.I.Latkin},Stud.Log。100,编号1--2,319--338(2012;Zbl 1283.03090) 全文: DOI程序
尼克·贝扎尼什维利;迪克·德·乔恩 直觉逻辑中两个变量的可扩展公式。 (英语) Zbl 1256.03019号 螺柱日志。 100,编号1-2,61-89(2012). 审核人:吉尔达·费雷拉(里斯本) MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}和\textit{D.de Jongh},Stud.Log。100,编号1--2,61-89(2012;Zbl 1256.03019) 全文: DOI程序
佛朗哥·蒙塔格纳 \具有命题量词、量词消去和一致Craig插值的(Delta)核心模糊逻辑。 (英语) Zbl 1258.03029号 螺柱日志。 100,编号1-2,289-317(2012). 审核人:丹尼尔·蒙迪奇(费伦泽) MSC公司:03B52号 03B25号 03C10号机组 03C40号 05年6月 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna},研究日志。100,编号1--2,289--317(2012;Zbl 1258.03029) 全文: DOI程序
亚历克斯·西特金 并不是每个分裂的Heyting或内部代数都是有限可表示的。 (英语) Zbl 1258.06003号 螺柱日志。 100,编号1-2115-135(2012). 审核人:伊万·查伊达(Přerov) MSC公司:06D20日 03B45号 03B55号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin},螺柱日志。100,编号1--2,115-135(2012;Zbl 1258.06003) 全文: DOI程序
弗朗西斯科·萨帕塔;弗拉基克·克里诺维奇 从封闭状态重建开放秩序,应用于时空物理学和逻辑。 (英语) Zbl 1256.06016号 螺柱日志。 100,编号1-2,419-435(2012).MSC公司:30楼06号 PDF格式BibTeX公司 XML格式引用 \textit{F.Zapata}和\textit{V.Kreinovich},Stud.Log。100,编号1--2,419--435(2012;Zbl 1256.06016) 全文: DOI程序 链接
约翰·范·本特姆;尼克·贝扎尼什维利;伊恩·霍德金森 模态微积分的Sahlqvist对应。 (英语) Zbl 1404.03021号 螺柱日志。 100,编号1-2,31-60(2012).MSC公司:03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人,Stud.Log。100,编号1--2,31-60(2012;Zbl 1404.03021) 全文: DOI程序
利奥·伊萨基亚;Löwe,Benedikt公司 致命的Heyting代数和强制持久语句。 (英语) Zbl 1368.03038号 螺柱日志。 100,编号1-2,163-173(2012). 审核人:古拉姆·贝扎尼什维利(拉斯克鲁斯) MSC公司:03B55号 03E40型 06D20日 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Esakia}和\textit{B.Löwe},Stud.Log。100,编号1--2,163-173(2012;Zbl 1368.03038) 全文: DOI程序 OA许可证
阿尔伯特·维瑟 第二个不完全性定理和有界解释。 (英语) Zbl 1260.03109号 螺柱日志。 100,编号1-2399-418(2012). 审核人:G.E.Mints(斯坦福) MSC公司:35层03 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},螺柱日志。100,编号1--2399--418(2012;Zbl 1260.03109) 全文: DOI程序
塞尔吉奥·塞拉尼。;圣马汀,埃尔南·J。 弱Heyting代数中的前沿算子。 (英语) Zbl 1272.06022号 螺柱日志。 100,编号1-2,91-114(2012). 审核人:克劳迪娅·穆雷沙恩 MSC公司:06D20日 03G25号 06年50月 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Celani}和\textit{H.J.San Martín},Stud.Log。100,编号1--2,91-114(2012;Zbl 1272.06022) 全文: DOI程序 链接
格里戈里薄荷 对模态微积分片段的有效切割消除。 (英语) Zbl 1254.03110号 螺柱日志。 100,编号1-2279-287(2012). 审核人:安德烈·因德泽扎克(Andrzej Indrzejczak) MSC公司:05年3月 03B44号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷},螺柱日志。100,编号1--2,279--287(2012;Zbl 1254.03110) 全文: DOI程序
谢尔盖·阿特莫夫。 逻辑环境中理据的本体论。 (英语) Zbl 1255.03027号 螺柱日志。 100,编号1-2,17-30(2012). 审核人:Max A.Freund(圣何塞) MSC公司:03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Artemov},螺柱日志。100,编号1--2,17-30(2012;Zbl 1255.03027) 全文: DOI程序