×

找到669份文件(结果1–100)

关于正交模格的乘积和超乘积中的块。 (英语) Zbl 1534.06005号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(L)-代数和三种主要的非经典逻辑。 (英语) Zbl 1504.03040号

Ann.纯粹应用。逻辑 173,第7号,文章ID 103121,25 p.(2022); 更正和增编同上,174,第3号,第ID 103209条,第3页(2023)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

PBZ*-格:序数和水平和。 (英语) Zbl 1498.06018号

Fazio,Davide(编辑)等人,《子结构逻辑的代数观点》。根据2018年6月11日至13日在意大利卡利亚里举行的研讨会AsubL(代数与子结构逻辑学——Take 6)上的演讲,选出论文。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。55, 73-105 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

剩余操作员和Dedekind-MacNeille完井。 (英语) Zbl 1500.06003号

Fazio,Davide(编辑)等人,《子结构逻辑的代数观点》。根据2018年6月11日至13日在意大利卡利亚里举行的研讨会AsubL(代数与子结构逻辑学——Take 6)上的演讲,选出论文。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。55, 57-72 (2021).
PDF格式BibTeX公司 XML格式引用

弱和对偶弱正交模格中的蕴涵。 (英语) Zbl 1498.06016号

Fazio,Davide(ed.)等人,关于子结构逻辑的代数观点。根据2018年6月11日至13日在意大利卡利亚里举行的研讨会AsubL(代数与子结构逻辑学——Take 6)上的演讲,选出论文。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。55, 41-56 (2021).
MSC公司:06第15页
PDF格式BibTeX公司 XML格式引用

在PBZ*-晶格上。 (英语) Zbl 1498.06017号

Mojtahedi、Mojtaba(编辑)等人,《数学、逻辑及其哲学》。纪念穆罕默德·阿尔德斯希尔的文章。查姆:斯普林格。日志。认识论。统一科学。49, 313-337 (2021).
PDF格式BibTeX公司 XML格式引用

将Stone对偶推广到正交模格。 (英语) Zbl 1414.81038号

小泽一郎(编辑)等,代数量子理论中的现实与测量。2015年3月9日至13日,日本名古屋,NWW 2015。论文选自2015年名古屋冬季研讨会上的演讲:代数量子理论中的现实与测量。新加坡:斯普林格。Springer程序。数学。Stat.261,3-65(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

量子逻辑的高级克里普克框架。 (英语) 兹比尔1509.03174

Moss,Lawrence S.(编辑)等人,《逻辑、语言、信息和计算》。2018年7月24日至27日在哥伦比亚波哥大举行的2018年WoLLIC第25届国际研讨会。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。10944, 237-249 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有对合的正交模格和环中的可比性公理。 (英语) Zbl 1359.06006号

Rizvi,Syed Tariq(编辑)等人,《代数及其应用》。ICAA,印度Aligarh,2014年12月15日至17日。会议记录。新加坡:Springer(ISBN 978-981-10-1650-9/hbk;978-981-10-1651-6/电子书)。《Springer Proceedings in Mathematics&Statistics》174、241-257(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

描述量子概率论的共因封闭性。 (英语) Zbl 1329.81098号

PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

软件