尼克·贝扎尼什维利;托马索·莫拉希尼 遗传结构完整的中间逻辑:通过对偶的Citkin定理。 (英文) Zbl 07677355号 螺柱日志。 111,编号2,147-186(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}和\textit{T.Moraschini},Stud.Log。111,编号2,147--186(2023;Zbl 07677355) 全文: 内政部 OA许可证
菲利普·巴尔比亚尼;乔丹·根瑟 关于\(mathbf{KB}\)和\(mathbf{KTB}\)之间模态逻辑的统一类型。 (英文) Zbl 1486.03038号 螺柱日志。 108,第5期,941-966(2020).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{乔·根瑟},研究日志。108,第5号,941-966(2020;Zbl 1486.03038) 全文: 内政部
弗雷德里克·劳里德森。 允许结构超序列演算的中间逻辑。 (英文) Zbl 1494.03069号 螺柱日志。 107,第2期,247-282(2019).MSC公司:03B55号 05年3月 03财年03 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Lauridsen},研究日志。107,第2号,247--282(2019;Zbl 1494.03069) 全文: 内政部 OA许可证
阿萨多拉·法拉希 第二个经典关联逻辑。 (英文) Zbl 1437.03096号 螺柱日志。 106,第1期,191-214(2018).MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fallahi},Stud.Log。106,第1号,191--214(2018;Zbl 1437.03096) 全文: 内政部
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;朱莉娅·伊林 Cofinal稳定逻辑。 (英文) 兹比尔1403.03045 螺柱日志。 104,第6期,1287-1317(2016).MSC公司:03B55号 03B20型 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,研究日志。104、6号、1287--1317(2016;Zbl 1403.03045) 全文: 内政部 OA许可证
杰伦·古德米特(Jeroen P.Goudsmit)。 有限框架失败:无限是如何进入可接受语义的。 (英文) Zbl 1417.03199号 螺柱日志。 104,第6期,1191-1204(2016).MSC公司:03B55号 06D20日 2012年2月6日 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Goudsmit},Stud.Log。104、6号、1191--1204(2016;Zbl 1417.03199) 全文: 内政部 OA许可证
尼古拉·巴热诺夫 多模代数的范畴谱。 (英文) Zbl 1417.03233号 螺柱日志。 104,第6号,1083-1097(2016).MSC公司:03C57号 03C35号 03D45号 2008年3月28日 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov},研究日志。104,第6号,1083--1097(2016;Zbl 1417.03233) 全文: 内政部
尼克·贝扎尼什维利;大卫·加伯里亚;西尔维奥·吉拉尔迪;马穆卡·吉卜拉泽 通过稳定规范规则的可容许基。 (英文) Zbl 1397.03016号 螺柱日志。 104,第2期,317-341(2016). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B20型 03B25号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}等人,Stud.Log。104、2号、317--341(2016;Zbl 1397.03016) 全文: 内政部 OA许可证
叶夫根·佐林 超学费命题演算的公理化问题的不可解释性。 (英文) Zbl 1337.03020号 螺柱日志。 102,第5期,1021-1039(2014).MSC公司:03B25号 03B20型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{E.Zolin},螺柱日志。102,编号51021-1039(2014年;兹bl 1337.03020) 全文: 内政部
杜珊;康洪奎 关于NExtK4。一、。 (英文) Zbl 1301.03023号 螺柱日志。 102,第3期,499-523(2014).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{S.Du}和\textit{H.Kang},螺柱日志。102,第3号,499--523(2014;Zbl 1301.03023) 全文: 内政部
丽莎·加米纳斯;约翰·G·默施。 前经典关联逻辑。 (英文) Zbl 1280.03027号 螺柱日志。 100,第6期,1211-1221(2012).MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{L.Galminas}和\textit{J.G.Mersch},研究日志。100,第6号,1211--1221(2012;Zbl 1280.03027) 全文: 内政部
巴哈迪尔·库萨诺夫;托马斯·科瓦尔斯基 布尔代数与算子的可计算同构。 (英文) Zbl 1285.03059号 螺柱日志。 100,编号3,481-496(2012).MSC公司:03D45号 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{B.Khoussainov}和\textit{T.Kowalski},螺柱测井。100,第3号,481--496(2012;Zbl 1285.03059) 全文: 内政部
列夫·贝克莱米舍夫;古拉姆·贝扎尼什维利;丹尼尔·蒙迪奇;维尼马,伊德 纪念利奥·伊萨基亚的特别版前言。 (英文) 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年;兹bl 1246.03007) 全文: 内政部
亚历克斯·西特金 并不是每个分裂的Heyting或内部代数都是有限可表示的。 (英文) Zbl 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) 全文: 内政部
利奥·伊萨基亚;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) 全文: 内政部 OA许可证
弗拉基米尔·瓦西约科夫。 类别中的超一致性:关联逻辑的情况。 (英文) Zbl 1248.03041号 螺柱日志。 98,第3期,429-443(2011).MSC公司:03B47号 03B53号 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Vasyukov},研究日志。98,第3号,429--443(2011;Zbl 1248.03041) 全文: 内政部
Sankappanavar,H.P。 半Heyting代数的扩张。一: 鉴别器种类。 (英文) Zbl 1254.06006号 螺柱日志。 98,编号1-2,27-81(2011). 审核人:Lavinia Ciungu(克雷奥瓦) MSC公司:06D20日 03G25号 08B26号 PDF格式BibTeX公司 XML格式引用 \textit{H.P.Sankappanavar},研究日志。98,编号1--2,27-81(2011;Zbl 1254.06006) 全文: 内政部
拉里萨·马克西莫娃 逻辑Gl上的插值和可定义性。 (英文) Zbl 1254.03069号 螺柱日志。 99,编号1-3,249-267(2011).MSC公司:03C40号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{L.Maksimova},研究日志。99,编号1--3249--267(2011;Zbl 1254.03069) 全文: 内政部
弗拉基米尔·里巴科夫。 传递模态逻辑中的最佳统一者。 (英文) Zbl 1247.03029号 螺柱日志。 99,编号1-3,321-336(2011). 审核人:奈尔·扎莫夫(喀山) MSC公司:03B45 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov},Stud.Log。99,编号1--3,321--336(2011;Zbl 1247.03029) 全文: 内政部
尼克·贝扎尼什维利 基于框架的中间逻辑公式。 (英文) Zbl 1172.03019号 螺柱日志。 90,第2期,139-159(2008). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B55号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili},Stud.Log。90,第2号,139--159(2008;Zbl 1172.03019) 全文: 内政部
范阿尔滕,C.J。 关于双剩余代数的变种。 (英文) Zbl 1099.03057号 螺柱日志。 83,编号1-3,425-445(2006).MSC公司:03G25号 03B47号 35楼06号 08B15号 PDF格式BibTeX公司 XML格式引用 \textit{C.J.van Alten},Stud.Log(研究日志)。83,编号1--3425--445(2006;Zbl 1099.03057) 全文: 内政部
拉里萨·马克西莫娃 Grzegorczyk逻辑扩展中的投射Beth性质。 (英文) 兹伯利1106.03014 螺柱日志。 83,编号1-3,365-391(2006).MSC公司:03B45 03B55号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{L.Maksimova},研究日志。83,编号1--3,365-391(2006;Zbl 1106.03014) 全文: 内政部
布洛克,W.J。;伊娃·胡格兰 代数逻辑中的Beth性质。 (英文) Zbl 1121.03087号 螺柱日志。 83,编号1-3,49-90(2006). 审核人:Michiro Kondo(Inzai) MSC公司:03G99型 03C40号 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{W.J.Blok}和\textit{E.Hoogland},Stud.Log。83,编号1--3,49-90(2006;Zbl 1121.03087) 全文: 内政部
劳滕贝格,W。;Zakharyaschev,M。;F.沃尔特。 威廉·布洛克和模态逻辑。 (英文) Zbl 1105.03020号 螺柱日志。 83,编号1-3,15-30(2006). 审核人:G.E.Mints(斯坦福) MSC公司:03B45 03B55号 03-03 PDF格式BibTeX公司 XML格式引用 \textit{W.Rautenberg}等人,研究日志。83,编号1--3,15--30(2006;Zbl 1105.03020) 全文: 内政部
拉里萨·马克西莫娃 非经典逻辑中的可定义性和插值。 (英文) Zbl 1101.03027号 螺柱日志。 82,第271-291号(2006年).MSC公司:03C40号 03B45 03B55号 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Maksimova},研究日志。82,No.2,271--291(2006;Zbl 1101.03027) 全文: 内政部
布洛克,W.J。;J.G.拉弗瑞。 R-混合碎片。 (英文) Zbl 1067.03029号 螺柱日志。 78,编号1-2,59-106(2004).MSC公司:03B47号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{W.J.Blok}和\textit{J.G.Raftery},研究日志。78,编号1--2,59-106(2004;Zbl 1067.03029) 全文: 内政部
伯格哈德·埃尔曼 等价逻辑和代数化逻辑。 (英文) Zbl 0864.03043号 螺柱日志。 57,第2-3号,419-436(1996). 审核人:Jānis Cīrulis(里加) MSC公司:03G99型 PDF格式BibTeX公司 XML格式引用 \textit{B.Herrmann},研究日志。57,编号2--3,419--436(1996;Zbl 0864.03043) 全文: 内政部
查格罗夫。;洛杉矶查格罗娃。 关于所有有限框架类上模态公式的一阶可定义性的算法问题。 (英文) Zbl 0844.03007号 螺柱日志。 55,第3期,421-448(1995). 审核人:M.Zakharyaschev(柏林) MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Chagrov}和\textit{L.A.Chagrova},研究日志。55,第3号,421--448(1995;Zbl 0844.03007) 全文: 内政部
弗拉基米尔·里巴科夫。 推理规则的可接受性标准。具有分支特性的模态和中间逻辑。 (英文) Zbl 0807.03016号 螺柱日志。 53,第2期,203-225(1994). 审核人:M.Zakharyashev(莫斯科) MSC公司:03B55号 03B45 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov},Stud.Log。53,第2号,203--225(1994;Zbl 0807.03016) 全文: 内政部
德夫·罗伊。 递归与递归可枚举二进制关系。 (英文) Zbl 0796.03050号 螺柱日志。 52,第4期,587-593(1993).MSC公司:03D45号 PDF格式BibTeX公司 XML格式引用 \textit{D.K.Roy},Stud.Log。52,第4号,587--593(1993;Zbl 0796.03050) 全文: 内政部
亚历山大·查格罗夫;米哈伊尔·扎卡里亚什切夫 中间命题逻辑的模态伴侣。 (英文) Zbl 0766.03015号 螺柱日志。 51,No.1,49-82(1992). 审核人:A.查格罗夫 MSC公司:03B55号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{A.Chagrov}和\textit{M.Zakharyashchev},Stud.Log。51,编号1,49--82(1992;Zbl 0766.03015) 全文: 内政部
拉里萨·马克西莫娃 正规模态逻辑中的合并和插值。 (英文) Zbl 0754.03013号 螺柱日志。 50,第3-4期,第457-471页(1991年). 审核人:S.Miura(冈崎/爱知) MSC公司:03B45 03G25号 08B99号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{L.Maksimova},研究日志。50,编号3-4457-471(1991;兹bl 0754.03013) 全文: 内政部
S.I.马尔达耶夫。 两个局部表格式的超学费逻辑序列。 (英文) Zbl 0739.03017号 螺柱日志。 50,第2期,333-342(1991).MSC公司:03B55号 03G10年 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Mardaev},研究日志。50,编号2,333--342(1991;Zbl 0739.03017) 全文: 内政部
亚历山大·查格罗夫;Zakharyashchev,迈克尔 中间命题逻辑的析取性质。 (英文) Zbl 0739.03016号 螺柱日志。 50,第2期,189-216(1991).MSC公司:03B55号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{A.Chagrov}和\textit{M.Zakharyashchev},Stud.Log。50,第2号,189--216(1991;Zbl 0739.03016) 全文: 内政部
安德烈·索比 \(Sigma^n_0)-等价关系。 (英文) Zbl 0539.03023号 螺柱日志。 41, 351-358 (1982).MSC公司:03D45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Sorbi},Stud.Log。41、351--358(1982;Zbl 0539.03023) 全文: 内政部
约翰·克罗斯利。 给定的。 (英文) Zbl 0536.03024号 螺柱日志。 41, 131-139 (1982).MSC公司:03D45号 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Crossley},研究日志。41、131--139(1982;Zbl 0536.03024) 全文: 内政部
威斯劳·迪奥比亚克 强有限结果运算的加强格。 (英文) Zbl 0479.03017号 螺柱日志。 40, 177-193 (1981).MSC公司:03B99号 PDF格式BibTeX公司 XML格式引用 \textit{W.Dziobiak},螺柱日志。40、177--193(1981年;Zbl 0479.03017) 全文: 内政部