利奥·伊萨基亚 出版物列表。 (英语) 兹比尔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) 全文: 内政部
尤里·古里维奇;帕斯莫尔,格兰特·O。 令人信服地强加随机性。 (英语) Zbl 1262.68054号 螺柱日志。 100,第1-2号,193-222(2012)。MSC公司:68问题30 60A99型 62A01型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich}和\textit{G.O.Passmore},Stud.Log。100,编号1--2,193-222(2012;Zbl 1262.68054) 全文: 内政部 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) 全文: 内政部
戴维,文学学士。;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年;兹bl 1258.08005) 全文: 内政部
列夫·贝克莱米舍夫;古拉姆·贝扎尼什维利;丹尼尔·蒙迪奇;维尼马,伊德 纪念利奥·伊萨基亚的特别版前言。 (英语) 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) 全文: 内政部
文森佐·马拉;卢卡·斯帕达 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) 全文: 内政部
A.Jung。;美国里维奇奥。 双参数的普里斯特利对偶。 (英语) Zbl 1258.06008号 螺柱日志。 100,编号1-2,223-252(2012)。 审核人:米罗斯拉夫·普洛什切卡(科希策) MSC公司:06天50分 75年6月 08年2月20日 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Jung}和\textit{U.Rivieccio},Stud.Log。100,编号1--2,223--252(2012;Zbl 1258.06008) 全文: 内政部
小野,Hiroakira 剩余格的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) 全文: 内政部
迪米特·瓦卡雷洛夫 动态模式。 (英语) Zbl 1257.03047号 螺柱日志。 100,编号1-2,385-397(2012)。 审核人:齐格弗里德·戈特瓦尔德(莱比锡) MSC公司:03B45号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{D.Vakarelov},研究日志。100,编号1--2385--397(2012;Zbl 1257.03047) 全文: 内政部
德米特里·斯科沃尔佐夫 一些具有弱常域原理的超直觉谓词逻辑的Kripke层完备性。 (英语) Zbl 1258.03031号 螺柱日志。 100,编号1-2,361-383(2012)。 审核人:马可·贝尼尼(布奇纳斯科) MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},螺柱日志。100,编号1--2361--383(2012;Zbl 1258.03031) 全文: 内政部
谢尔盖·奥丁佐夫。;拉特金,E.I。 \(\mathbf{BK}\)-晶格。Belnapian模态逻辑的代数语义。 (英语) Zbl 1283.03090号 螺柱日志。 100,编号1-2,319-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) 全文: 内政部
Bezhanishvili,尼克;迪克·德·乔恩 直觉逻辑中两个变量的可扩展公式。 (英语) 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) 全文: 内政部
佛朗哥·蒙塔格纳 \具有命题量词、量词消去和一致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) 全文: 内政部
亚历克斯·奇特金 并不是每个分裂的Heyting或内部代数都是有限可表示的。 (英语) 兹比尔1258.06003 螺柱日志。 100,编号1-2,115-135(2012)。 审核人:伊万·查伊达(Přerov) MSC公司:06D20日 03B45号 03B55号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin},螺柱日志。100,编号1--2,115-135(2012;Zbl 1258.06003) 全文: 内政部
弗朗西斯科·萨帕塔;弗拉基克·克里诺维奇 从封闭中重建开放秩序,应用于时空物理和逻辑。 (英语) 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) 全文: 内政部 链接
约翰·范·本特姆;Bezhanishvili,尼克;伊恩·霍德金森 模态微积分的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) 全文: 内政部
利奥·伊萨基亚;Löwe,Benedikt公司 致命的Heyting代数和强制持久语句。 (英语) Zbl 1368.03038号 螺柱日志。 100,编号1-2163-173(2012)。 审核人:古拉姆·贝扎尼什维利(拉斯·克鲁塞斯) MSC公司:03B55号 03年4月40日 06D20日 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Esakia}和\textit{B.Löwe},Stud.Log。100,编号1--2,163-173(2012;Zbl 1368.03038) 全文: 内政部 OA许可证
阿尔伯特·维瑟 第二个不完全性定理和有界解释。 (英语) Zbl 1260.03109号 螺柱日志。 100,第1-2号,399-418(2012)。 审核人:G.E.Mints(斯坦福) MSC公司:35层03 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},螺柱日志。100,编号1--2399--418(2012;Zbl 1260.03109) 全文: 内政部
塞尔吉奥·塞拉尼。;圣马汀,埃尔南·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) 全文: 内政部 链接
格里戈里薄荷 对模态微积分片段的有效切割消除。 (英语) Zbl 1254.03110号 螺柱日志。 100,编号1-2,279-287(2012)。 审核人:Andrzej Indrzejczak(Łód罗兹) MSC公司:05年3月 03B44号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷},螺柱日志。100,编号1--2,279--287(2012;Zbl 1254.03110) 全文: 内政部
谢尔盖·阿特莫夫。 逻辑设置中的证明本体。 (英语) 兹比尔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) 全文: 内政部