尼古拉斯·加拉托斯;伊希斯·加拉多。 分布预群:生成性和可判定性。 (英语) Zbl 07835179号 J.代数 648, 9-35 (2024).MSC公司:06财年 06月XX日 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{N.Galatos}和\textit{I.A.Gallardo},J.代数648,9--35(2024;Zbl 07835179) 全文: 内政部
穆克甸 知识库中不一致的内部。 (英语) Zbl 07834357号 国际J近似推理 166,文章ID 109127,20 p.(2024).MSC公司:68层37 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{K.Mu},国际期刊近似推理166,文章ID 109127,20 p.(2024;Zbl 07834357) 全文: 内政部
丹尼尔·格里马尔迪;Martinez、Maria Vanina;里卡多·罗德里格斯。 适度修订。 (英语) Zbl 07834356号 国际J近似推理 166,文章ID 109126,第25页(2024).MSC公司:68层37 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{D.Grimaldi}等人,国际期刊近似推理166,文章ID 109126,25 p.(2024;Zbl 07834356) 全文: 内政部
王龙春;李庆国 \(L\)-域作为局部连续序列结石。 (英语) Zbl 07832913号 架构(architecture)。数学。逻辑 63,编号3-4,405-425(2024).MSC公司:03B70号 06B35号 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Wang}和\textit{Q.Li},Arch。数学。逻辑63,编号3-4405-425(2024;Zbl 07832913) 全文: 内政部
藤原真本;Kurahashi、Taishi Prenex规范化和公式的层次分类。 (英语) Zbl 07832912号 架构(architecture)。数学。逻辑 63,编号3-4,391-403(2024).MSC公司:03B10号机组 03B20型 03B99 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{T.Kurahashi},拱门。数学。逻辑63,编号3--4,391--403(2024;Zbl 07832912) 全文: 内政部 arXiv公司
尤文纳尔·穆瓦纳希亚卡 弱的本质上不可判定的串联理论。二、。 (英语) Zbl 07832911号 架构(architecture)。数学。逻辑 63,编号3-4,353-390(2024).MSC公司:03B25号 03B30型 35层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{J.Murwanashyaka},拱门。数学。逻辑63,编号3--4,353--390(2024;Zbl 07832911) 全文: 内政部 arXiv公司 OA许可证
胜须石井 中间谓词逻辑中的harrop析取性质。 (英语) Zbl 07832909号 架构(architecture)。数学。逻辑 63,编号3-4,317-324(2024).MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{K.石井},拱门。数学。逻辑63,编号3--4,317--324(2024;Zbl 07832909) 全文: 内政部
斯蒂芬·伊戈列维奇·巴什马科夫;基里尔·亚历克桑德罗维奇·斯梅利克 多代理计算树逻辑的关系版本\(\mathcal{CTLK}\)。 (俄语。英文摘要) Zbl 07832085号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 47, 78-92 (2024).MSC公司:03B44号 03B42号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Bashmakov}和\textit{K.A.Smelykh},Izv。伊尔库茨克。戈斯。州立大学。材料47、78--92(2024;Zbl 07832085) 全文: 内政部 链接
阿克巴·巴德 EQ代数的新型混合滤波器。 (英语) Zbl 07830547号 数学。博昂。 149,编号1,105-127(2024).MSC公司:03G25号 03B50号 08A72号 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{A.Paad},数学。博昂。149,编号1,105-127(2024;Zbl 07830547) 全文: 内政部
阿诺·阿夫隆 Poincaré-Weyl的谓词:超越\(\Gamma_0\)。 (英语) 兹伯利07828958 牛市。符号。日志。 30,编号1,41-91(2024).MSC公司:03A05号 03B30型 03E30年 03E10年 00A30型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},公牛。符号。日志。30,编号1,41--91(2024;Zbl 07828958) 全文: 内政部 OA许可证
阿尔伯特·武卡吉;德米特里·朱克 在设置为次等价的三元素上的次极大克隆。 (英语) Zbl 07828210号 代数大学。 85,第2号,第22号论文,第31页(2024年).MSC公司:03B50号 08A70号 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Vucaj}和\textit{D.Zhuk},代数大学。85,第2号,第22号论文,第31页(2024;Zbl 07828210) 全文: 内政部 arXiv公司 OA许可证
亚当·戴,萨姆;尼克·贝扎尼什维利;Gabelaia,大卫;文森佐·马拉 中间逻辑的多面体完备性:神经准则。 (英语) Zbl 07827893号 J.塞姆。日志。 89,编号1,342-382(2024).MSC公司:03B55号 03B45号 06A07年 06D20日 52个B05 PDF格式BibTeX公司 XML格式引用 \textit{S.Adam-Day}等人,J.Symb。日志。89,编号1,342--382(2024;Zbl 07827893) 全文: 内政部 arXiv公司
罗伯特·帕斯曼 CZF的一阶逻辑是直觉一阶逻辑。 (英语) Zbl 07827891号 J.塞姆。日志。 89,编号1,308-330(2024).MSC公司:03楼50 03B20型 03B55号 03E70型 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{R.Passmann},J.Symb。日志。89,编号1,308--330(2024;Zbl 07827891) 全文: 内政部 arXiv公司 OA许可证
Fiori-Carones,玛尔塔;阿尔贝托·马可尼;保罗·沙弗;乔瓦尼·索尔达 (额外)与升序/降序原理的普通等价物。 (英语) Zbl 07827890号 J.塞姆。日志。 89,编号1,262-307(2024).MSC公司:03B30型 35楼03号 10年5月 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{M.Fiori Carones}等人,J.Symb。日志。89,编号1,262--307(2024;Zbl 07827890) 全文: 内政部 arXiv公司 OA许可证
吉列尔莫·巴迪亚;泽维尔·凯塞多;卡莱斯·诺格拉 无恒等式逻辑的极大性。 (英语) Zbl 07827883号 J.塞姆。日志。 89,编号1,147-162(2024).MSC公司:03B10号机组 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}等人,J.Symb。日志。89,编号1,147--162(2024;Zbl 07827883) 全文: 内政部 arXiv公司 OA许可证
G.贝扎尼什维利。;Fernández Duque博士。 拜尔闭包及其逻辑。 (英语) Zbl 07827878号 J.塞姆。日志。 89,编号1,27-49(2024).MSC公司:03B45号 54E52型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{D.Fernández-Duque},J.Symb。日志。89,编号1,27-49(2024;Zbl 07827878) 全文: 内政部 arXiv公司 OA许可证
亚历山大·库克里克(Alexander W.Kocurek)。 超逻辑的逻辑。A部分:基础。 (英语) Zbl 07827535号 版本符号。日志。 17,编号1,244-271(2024).MSC公司:03A05号 03B16号 03B45号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Kocurek},版本:Symb。日志。17,编号1,244--271(2024;Zbl 07827535) 全文: 内政部 OA许可证
Kurahashi、Taishi;Okuda、Motoki 模态算术中的不连通性和存在性。 (英语) 兹伯利07827533 版本符号。日志。 178-205年1月17日(2024年).MSC公司:03B45号 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kurahashi}和\textit{M.Okuda},Rev.Symb。日志。17,编号1,178--205(2024;Zbl 07827533) 全文: 内政部 arXiv公司
埃文·皮尔蒙特 相对真理、意识和可能性的代数语义。 (英语) Zbl 07827532号 版本符号。日志。 17,第1期,154-177(2024).MSC公司:03B42号 03G27号 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{E.Piermont},版本:Symb。日志。17,编号1,154--177(2024;Zbl 07827532) 全文: 内政部 arXiv公司
大卫·费尔南德斯·杜克 驯服“别处”:论拓扑语言的表现力。 (英语) Zbl 07827531号 版本符号。日志。 17,第1号,144-153(2024).MSC公司:03Bxx号 54级05 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque},Rev.Symb。日志。17,第1号,144--153(2024;Zbl 07827531) 全文: 内政部 arXiv公司
伊格纳西奥·贝拉斯·阿科斯塔;维尼马,伊德 计数到无穷:带有无穷菱形的分级模态逻辑。 (英语) 兹伯利07827524 版本符号。日志。 17,编号1,1-35(2024).MSC公司:03B45号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Acosta}和\textit{Y.Venema},版本Symb。日志。17,编号1,1-35(2024;Zbl 07827524) 全文: 内政部
Jockwich Martinez,S。;塔拉福德,S。;文丘里,G。 \(\mathsf{ZF}\)及其解释。 (英语) Zbl 07827507号 Ann.纯粹应用。逻辑 175,第6号,文章ID 103427,38页(2024).MSC公司:03C90号 03E70型 03E40型 03G10年 03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{S.Jockwich Martinez}等人,Ann.Pure Appl。逻辑175,第6号,文章ID 103427,38页(2024;Zbl 07827507) 全文: 内政部
萨姆森·艾布拉姆斯基;卢卡·雷吉奥 树范畴和等源同态保持定理。 (英语) Zbl 07827505号 Ann.纯粹应用。逻辑 175,第6号,文章ID 103423,41页(2024).MSC公司:03B10号机组 03B70号 03立方厘米13 18立方厘米 19年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{L.Reggio},Ann.Pure Appl。逻辑175,第6号,文章ID 103423,41页(2024;Zbl 07827505) 全文: 内政部 arXiv公司
杰里米·阿维加德 数学和形式转换。 (英语) Zbl 07826993号 牛市。美国数学。Soc.,新Ser。 61,第2期,225-240(2024).MSC公司:03B35型 68版本20 60年第68季度 68伏15 68版本25 68伏35 68时01分 97单位50 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad},公牛。美国数学。Soc.,新Ser。61,第2号,225--240(2024;Zbl 07826993) 全文: 内政部 arXiv公司
斯迪安·利贝奇 反射式高阶微积分:可编码性、典型性和分离性。 (英语) Zbl 07825550号 Inf.计算。 297,文章ID 105138,33 p.(2024).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lybech},Inf.计算。297,文章ID 105138,33 p.(2024;Zbl 07825550) 全文: 内政部
马克西莫娃。;云,V.F。 表前逻辑中Craig的插值性质。 (英语。俄文原件) Zbl 07825250号 同胞。数学。J。 65,编号2,344-350(2024); 来自Sib的翻译。材料Zh。65,第2期,349-357(2024年)。MSC公司:03Bxx号 03Cxx号 03Fxx公司 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}和\textit{V.F.Yun},Sib。数学。J.65,No.2,344--350(2024;Zbl 07825250);来自Sib的翻译。材料Zh。65,第2号,349--357(2024) 全文: 内政部
尼娜·吉拉西姆祖克(编辑);费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。(编辑) 动态逻辑。新趋势和应用。第五届国际研讨会,达赖2023年,格鲁吉亚第比利斯,2023年9月15日至16日。修订了选定的论文。 (英语) Zbl 07815705号 计算机科学课堂讲稿14401.查姆:施普林格(ISBN 978-3-031-51776-1/pbk;978-3-331-51777-8/电子书)。xi,137页。(2024).MSC公司:03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Gierasimczuk}(编辑)和\textit{F.R.Velázquez-Quesada}(主编),动态逻辑。新趋势和应用。第五届国际研讨会,达赖2023年,格鲁吉亚第比利斯,2023年9月15日至16日。修订了选定的论文。查姆:施普林格(2024;Zbl 07815705) 全文: 内政部
安德烈·赫肖维茨;汤姆·赫肖维茨;安布罗斯·拉丰;马可·马格西 变量绑定和替换(无名称)虚拟对象。 (英语) Zbl 07814925号 日志。方法计算。科学。 20,第1号,第17号论文,49页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Hirschowitz}等人,日志。方法计算。科学。20,第1号,第17号论文,49页(2024;Zbl 07814925) 全文: 内政部 arXiv公司
巴特·博加特;马克西姆·雅库博夫斯基;Van den Bussche,简 SHACL特性和扩展的表达能力,用于完全相等和不相交测试。 (英语) Zbl 07814924号 日志。方法计算。科学。 20,第1号,第16号论文,第34页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人,日志。方法计算。科学。20,第1号,第16号论文,第34页(2024;Zbl 07814924) 全文: 内政部 arXiv公司
迈克尔·布隆丁;哈维尔·埃斯帕尔扎 连续Petri网中的分隔符。 (英语) Zbl 07814923号 日志。方法计算。科学。 20,第1号,第15号论文,24页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}和\textit{J.Esparza},日志。方法计算。科学。20,第1号,第15号论文,24页(2024;Zbl 07814923) 全文: 内政部 arXiv公司
勒罗伊·周;弗里德里希·斯利沃夫斯基 在QBF中实现统一认证。 (英语) Zbl 07814922号 日志。方法计算。科学。 20,第1号,第14号论文,42页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Chew}和\textit{F.Slivovsky},Log。方法计算。科学。20,第1号,第14号论文,42页(2024;Zbl 07814922) 全文: 内政部 arXiv公司
迪伦·麦克德莫特;阿兰·迈克罗夫特 Galois连接按值调用和按名称调用。 (英语) Zbl 07814921号 日志。方法计算。科学。 20,第1号,第13号论文,43页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.McDermott}和\textit{A.Mycroft},日志。方法计算。科学。20,第1号,第13号论文,43页(2024;Zbl 07814921) 全文: 内政部 arXiv公司
纳塔内尔·阿尔佩;彼得·吉普森;梅丽莎·杉本 一元决定分配(ell)-岩浆和丛蕴涵代数的种类。 (英语) Zbl 07814920号 日志。方法计算。科学。 20,第1号,第12号论文,22页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Alpay}等人,日志。方法计算。科学。20,第1号,第12号文件,第22页(2024;Zbl 07814920) 全文: 内政部 arXiv公司
劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁,Shoji 版次TPL:可逆时间过程语言。 (英语) Zbl 07814919号 日志。方法计算。科学。 20,第1号,第11号论文,35页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人,日志。方法计算。科学。20,第1号,第11号论文,35页(2024;Zbl 07814919) 全文: 内政部 arXiv公司
托马斯·科尔科姆贝特;纳塔娜·菲亚尔科夫;霍恩,弗洛里安 十年后,谨慎行事。 (英语) Zbl 07814918号 日志。方法计算。科学。 20,第1号,第10号论文,16页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Colcombet}等人,《日志》。方法计算。科学。20,第1号,第10号论文,第16页(2024;Zbl 07814918) 全文: 内政部 arXiv公司
佛罗伦萨卡佩利;尼古拉·克罗塞蒂;约阿希姆·尼伦;简·拉蒙 带有连接数据库查询的线性程序。 (英语) Zbl 07814917号 日志。方法计算。科学。 20,第1号,第9号论文,48页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Capelli}等人,日志。方法计算。科学。20,第1号,第9号文件,第48页(2024;Zbl 07814917) 全文: 内政部 arXiv公司
萨姆·范古尔;阿德里安·瓜托;乔治·梅特卡夫;西蒙·桑斯基 时间扭曲代数中的判定方程。 (英语) Zbl 07814916号 日志。方法计算。科学。 20,第1号,第8号论文,22页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.van Gool}等人,日志。方法计算。科学。20,第1号,第8号文件,第22页(2024;Zbl 07814916) 全文: 内政部 arXiv公司
托马斯·鲍威尔 作为有状态程序的证明:带有抽象Hoare三元组的一阶逻辑,以及对命令式语言的解释。 (英语) Zbl 07814915号 日志。方法计算。科学。 20,第1号,第7号论文,32页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell},日志。方法计算。科学。20,第1号,第7号论文,32页(2024;Zbl 07814915) 全文: 内政部 arXiv公司
Kiraku Shintani;Nao Hirokawa 成分汇流标准。 (英语) Zbl 07814914号 日志。方法计算。科学。 20,第1号,第6号论文,28页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Shintani}和\textit{N.Hirokawa},日志。方法计算。科学。20,第1号,第6号论文,28页(2024;Zbl 07814914) 全文: arXiv公司
迪莉娅·凯斯纳;佩罗特,洛伊奇;丹尼尔·文图拉 节点复制:理论与实践。 (英语) Zbl 07814913号 日志。方法计算。科学。 20,第1号,第5号论文,65页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}等人,《日志》。方法计算。科学。20,第1号,第5号论文,65页(2024;Zbl 07814913) 全文: 内政部 arXiv公司
拜尔,克里斯特尔;雅各布皮里鲍尔;罗宾·齐梅克 马尔可夫决策过程中概率提升因果关系的基础。 (英语) 兹伯利07814912 日志。方法计算。科学。 20,第1号,第4号文件,第66页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Log。方法计算。科学。20,第1号,第4号论文,66页(2024;Zbl 07814912) 全文: 内政部 arXiv公司
艾米丽·里尔 同伦类型理论的(infty)-拓扑语义。 (英语) Zbl 07813470号 牛市。伦敦。数学。Soc公司。 56,第2号,461-517(2024). 审核人:Hirokazu Nishimura(筑波) MSC公司:18号40 18号45 18号60 03B38型 55单位10 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{E.Riehl},公牛。伦敦。数学。Soc.56,No.2,461--517(2024;Zbl 07813470) 全文: 内政部 arXiv公司
加雷特·索布奇克 光锥射影图几何的几何代数。 (英语) Zbl 07811898号 高级应用程序。克利夫德·阿尔盖布(Clifford Algebr)。 34,第1号,第7号论文,22页(2024年).MSC公司:03B30型 05C20号 第15页第66页 15A75号 PDF格式BibTeX公司 XML格式引用 \textit{G.Sobczyk},高级应用程序。克利夫德·阿尔盖布(Clifford Algebr)。34,第1号,第7号论文,22页(2024;Zbl 07811898) 全文: 内政部 arXiv公司
维克托·潘布奇安 为什么欧几里德不需要帕什公理? (英语) Zbl 07809272号 《几何杂志》。 115,第1号,第13号论文,第25页(2024年).MSC公司:03B30型 2005年5月5日 51G05号 PDF格式BibTeX公司 XML格式引用 \文本{V.Pambuccian},J.Geom。115,第1号,第13号文件,第25页(2024;Zbl 07809272) 全文: 内政部
曼弗雷德·德罗斯特;古斯塔夫·格拉博勒;乔治·拉霍尼斯 加权线性动态逻辑。 (英语) Zbl 07805942号 发现的国际期刊。计算。科学。 35,编号1-2,145-177(2024).MSC公司:68季度xx 03Bxx号 03年月日 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,《国际期刊》发现。计算。科学。35,编号1--2,145-177(2024;Zbl 07805942) 全文: 内政部
皮埃尔·贝奥;贾科·卡里 对群移位的有效投影决定了群元胞自动机的性质。 (英语) Zbl 07805938号 发现的国际期刊。计算。科学。 35,编号1-2,77-100(2024). 审核人:劳伦特·巴托尔迪(哥廷根) MSC公司:37B15号机组 37B51号 37B10号机组 03B55号 03D75号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Béaur}和\textit{J.Kari},Int.J.Found。计算。科学。35,编号1--2,77-100(2024;Zbl 07805938) 全文: 内政部 arXiv公司
佐尔坦,福尔öp;福格勒、海科 特定有界格集上可识别加权树语言集的比较。 (英语) Zbl 07805937号 发现的国际期刊。计算。科学。 35,编号1-2,51-76(2024).MSC公司:68季度xx 68倍 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}和\textit{H.Vogler},Int.J.Found。计算。科学。35,编号1-2,51-76(2024;Zbl 07805937) 全文: 内政部
克里斯托夫·Löding;沃尔夫冈·托马斯 关于确定性自顶向下树自动机的布尔闭包。 (英语) Zbl 07805935号 发现的国际期刊。计算。科学。 35,编号1-2,11-22(2024).MSC公司:68季度xx 03Bxx号 03年月日 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}和\textit{W.Thomas},国际期刊发现。计算。科学。35,编号1--2,11-22(2024;Zbl 07805935) 全文: 内政部 arXiv公司
雷巴科夫。 S4.2相关模态逻辑的可接受性和统一性。 (英语。俄文原件) Zbl 07804700号 同胞。数学。J。 65,第1期,167-173(2024); 来自Sib的翻译。材料Zh。65,第1期,198-206(2024)。MSC公司:03Bxx号 68泰克 08Bxx年 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},西布。数学。J.65,No.1,167--173(2024;Zbl 07804700);来自Sib的翻译。材料Zh。65,第1号,198--206(2024) 全文: 内政部
V.V.里马茨基。 模态WCP逻辑的容许推理规则。 (英语。俄文原件) Zbl 07804699号 同胞。数学。J。 65,编号1,153-166(2024); 来自Sib的翻译。材料Zh。65,第1期,180-197(2024)。MSC公司:03Bxx号 03Fxx公司 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{V.里马茨基},Sib。数学。J.65,No.1,153--166(2024;Zbl 07804699);来自Sib的翻译。材料Zh。65,第1号,180--197(2024) 全文: 内政部
川本优助;佐藤,铁杉;Kohei Suenaga公司 可靠且相对完整的信念——统计假设测试程序的霍尔逻辑。 (英语) 兹伯利07803984 Artif公司。智力。 326,文章ID 104045,33 p.(2024).MSC公司:68T27型 03B42号 03B70号 62A01型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kawamoto}等人,Artif。智力。326,文章ID 104045,33 p.(2024;Zbl 07803984) 全文: 内政部 arXiv公司
于新义;董伟杰;李绍元;尹、向 用于信号时序逻辑规范的动态系统模型预测监测。 (英语) Zbl 07803905号 Automatica公司 160,文章ID 111445,12 p.(2024).MSC公司:93C55美元 94甲12 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Yu}等人,Automatica 160,文章ID 111445,12 p.(2024;Zbl 07803905) 全文: 内政部 arXiv公司
J.P.阿奎莱拉。;帕霍莫夫,F。;A.魏尔曼。 功能快速增长的层次结构。 (英语) 兹标07801005 论坛数学。西格玛 12,论文编号e15,第16页(2024).MSC公司:03B30型 2015年1月3日 35楼03号 18甲15 18B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera}等人,《数学论坛》。Sigma 12,论文编号e15,16 p.(2024;Zbl 07801005) 全文: 内政部 arXiv公司 OA许可证
乔,沙;冯俊娥;朱平 非确定模糊转移系统的基于分布的有限模糊互模拟。 (英语) Zbl 07800572号 J.富兰克林研究所。 361,编号1,135-149(2024).MSC公司:93立方厘米 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Qiao}等人,J.Franklin Inst.361,No.1,135--149(2024;Zbl 07800572) 全文: 内政部
扎克·韦伯 悖论和不一致的数学。重印2021年精装版。 (英语) Zbl 1529.03002号 剑桥:剑桥大学出版社(ISBN 978-1-108-99500-9/pbk;978-1-108-199313-5/电子书)。xii,第325页。(2024).MSC公司:03-01 03A05号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Weber},悖论和不一致数学。重印2021年精装版。剑桥:剑桥大学出版社(2024;Zbl 1529.03002) 全文: 内政部
J.J.Wannenburg。;J.G.拉弗瑞。 半线性德摩根拟群和差同态。 (英语) 兹伯利07793254 代数大学。 85,第1号,第10号文件,第34页(2024年).MSC公司:03B47号 03G25号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Wannenburg}和textit{J.G.Raftery},代数大学。85,第1号,第10号论文,第34页(2024;Zbl 07793254) 全文: 内政部 arXiv公司
巴托斯·Wcisło 具有命题重言式和无量词正确性的合成真理。 (英语) Zbl 07790940号 架构(architecture)。数学。逻辑 63,编号1-2,239-257(2024). 审核人:Roman Kossak(纽约) MSC公司:2015年上半年03日 03C62号 30楼03号 03A05号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{B.Wcisło},拱门。数学。逻辑63,编号1--2,239--257(2024;Zbl 07790940) 全文: 内政部 arXiv公司 OA许可证
岩田,Sohei;Kurahashi、Taishi;Okawa,Yuya大川 子逻辑的不动点和Craig插值性质伊利诺伊州. (英语) Zbl 07790929号 架构(architecture)。数学。逻辑 63,编号1-2,1-37(2024).MSC公司:03B45号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{S.Iwata}等人,Arch。数学。逻辑63,编号1--2,1--37(2024;Zbl 07790929) 全文: 内政部 arXiv公司 OA许可证
什巴希斯·古哈;伊斯马·杰克;卡罗琳娜·莱赫蒂宁;马丁·齐默尔曼 一点不确定性使得下推自动机具有表达力和简洁性。 (英语) Zbl 07789014号 日志。方法计算。科学。 20,第1号,第3号文件,第39页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Guha}等人,Log。方法计算。科学。20,第1号,第3号论文,39页(2024;Zbl 07789014) 全文: 内政部 arXiv公司
比尼特·戈什;埃蒂安·安德烈 使用边界模型对分散的不确定日志进行离线和在线节能监测。 (英语) Zbl 07789013号 日志。方法计算。科学。 20,第1号,第2号论文,33页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghosh}和\textit{埃米·安德烈},日志。方法计算。科学。20,第1号,第2号论文,33页(2024;Zbl 07789013) 全文: 内政部 arXiv公司
斯特凡·丹切夫;尼古拉·加莱西;阿卜杜勒·加尼;巴纳比·马丁 组合原理中Stabbing平面的深度下限。 (英语) Zbl 07789012号 日志。方法计算。科学。 20,第1期,第1号论文,第19页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Dantchev}等人,日志。方法计算。科学。20,第1期,第1号论文,第19页(2024;Zbl 07789012) 全文: 内政部 arXiv公司
保罗·阿格里亚诺;萨拉·乌戈里尼 代数和逻辑中的结构和普遍完备性。 (英语) Zbl 07785164号 Ann.纯粹应用。逻辑 175,第3号,文章ID 103391,49 p.(2024).MSC公司:03G27号 03G10年 08C15号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{P.Aglian o}和\textit{S.Ugolini},Ann.Pure Appl。逻辑175,第3号,文章ID 103391,49页(2024;Zbl 07785164) 全文: 内政部 arXiv公司
萨缪尔·马斯基奥;戴维·特罗塔 关于由蕴涵代数产生的范畴结构:从拓扑到集合。 (英语) Zbl 07785163号 Ann.纯粹应用。逻辑 175,第3号,文章ID 103390,41 p.(2024).MSC公司:03G30型 03B40型 18对25 2012年2月6日 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Maschio}和\textit{D.Trotta},Ann.纯苹果。逻辑175,第3号,文章ID 103390,41页(2024;Zbl 07785163) 全文: 内政部 arXiv公司
吉安卢卡·格里莱蒂;戴维德·埃米利奥·夸德雷拉罗 正则Heyting代数的Esakia对偶。 (英语) Zbl 07783202号 代数大学。 85,第1号,第5号论文,33页(2024年).MSC公司:06D20日 03C05号机组 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{G.Grilletti}和\textit{D.E.Quadrellaro},代数大学。85,第1号,第5号论文,33页(2024;Zbl 07783202) 全文: 内政部 arXiv公司 OA许可证
赫里萨菲斯·哈托纳斯 关联格和Heyting代数的无选择拓扑对偶。 (英语) Zbl 07783200号 代数大学。 85,第1号,第3号论文,29页(2024年).MSC公司:06年50月 06B15号 06B23号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{C.Hartonas},代数大学。85,第1号,第3号论文,29页(2024;Zbl 07783200) 全文: 内政部 arXiv公司
萨姆·范古尔;Marquès,热雷米 关于多元空间的对偶性和模型理论。 (英语) Zbl 07780214号 Ann.纯粹应用。逻辑 175,第2号,文章ID 103388,50页(2024).MSC公司:03G30型 2015年6月 03B10号机组 03B20型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{S.van Gool}和\textit{J.MarquèS},Ann.Pure Appl。逻辑175,第2号,文章ID 103388,50页(2024;Zbl 07780214) 全文: 内政部 arXiv公司
尼克·贝扎尼什维利;安娜·德米特里娃;吉姆·德·格罗特;托马索·莫拉希尼 超越分配性的正模态逻辑。 (英语) Zbl 07780209号 Ann.纯粹应用。逻辑 175,第2号,文章ID 103374,36页(2024).MSC公司:03B45号 03G10年 06B15号 06年50月 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}等人,Ann.Pure Appl。逻辑175,第2号,文章ID 103374,36页(2024;Zbl 07780209) 全文: 内政部 arXiv公司
契安·多尔;约翰·霍桑;尤哈尼Yli-Vakkuri 可能性的界限。模态变化的困惑(即将出现)。重印2021年精装版。 (英语) Zbl 07749100号 牛津:牛津大学出版社(ISBN 978-0-19-891077-0/pbk)。x、 第436页。(2024).MSC公司:03-02 03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dorr}等人,可能性的界限。模态变化的困惑(即将出现)。2021年精装版的再版。牛津:牛津大学出版社(2024;Zbl 07749100)
伊戈尔·戈布诺夫;德米特里·什卡托夫 没有独立公理集的Solovay系统的扩展。 (英语) Zbl 07748769号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103360,23 p.(2024).MSC公司:03B45号 03B22号 03层45 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{I.Gorbunov}和\textit{D.Shkatov},Ann.Pure Appl。逻辑175,第1号,文章ID 103360,23页(2024;Zbl 07748769) 全文: 内政部
亚历山大一世(Alexander I。Bufetov)。;加布里埃尔·尼瓦什;费多尔·帕霍莫夫 广义易熔数及其序数。 (英语) Zbl 07748764号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103355,25页(2024).MSC公司:2015年1月3日 03D60年 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Bufetov}等人,Ann.Pure Appl。逻辑175,第1号,文章ID 103355,25页(2024;Zbl 07748764) 全文: 内政部 arXiv公司
尼古拉·巴热诺夫;Fiori-Carones,玛尔塔;刘璐;亚历山大·梅尔尼科夫 原始递归逆向数学。 (英语) Zbl 07748763号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103354,55页(2024).MSC公司:03B30型 35楼03号 03D20日 03C57号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazenov}等人,Ann.纯应用。逻辑175,第1号,文章ID 103354,55页(2024;Zbl 07748763) 全文: 内政部 arXiv公司
劳伦斯·C·鲍尔森。 分割演算中的一个形式化定理。 (英语) Zbl 07748742号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103246,10页(2024).MSC公司:03E02号 03E10年 03B35型 68伏15 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson},Ann.纯粹应用。逻辑175,第1号,文章ID 103246,10页(2024;Zbl 07748742) 全文: 内政部 arXiv公司
巴里·马祖;卡尔·鲁宾;亚历山德拉·施拉彭托克 存在可定义性和丢番图稳定性。 (英语) Zbl 07748216号 J.数论 254, 1-64 (2024).MSC公司:2005年11月 11G05号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{B.Mazur}等人,《数论杂志》254,1-64(2024;Zbl 07748216) 全文: 内政部 arXiv公司
科林·布隆菲尔德;丸山义弘 一阶逻辑的纤维泛代数。 (英语) Zbl 07740043号 J.纯应用。代数 228,第2期,文章ID 107415,33页(2024).MSC公司:03G30型 03G27号 03B60号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{C.Bloomfield}和\textit{Y.Maruyama},J.Pure Appl。代数228,第2号,文章ID 107415,33页(2024;Zbl 07740043) 全文: 内政部 arXiv公司
迈克尔·霍夫纳格尔;皮埃尔·阿莱·雅克敏 偏代数和(弱)矩阵性质的含义。 arXiv公司:2404.14166 预印本,arXiv:2404.14166[math.CT](2024)。MSC公司:03B35型 18E13型 08A55号 08B05号 18-08 18B15号机组 18A20型 BibTeX公司 引用 \textit{M.Hoefnagel}和\textit{P.-A.Jackmin},“部分代数和(弱)矩阵属性的含义”,预印本,arXiv:240.4166[math.CT](2024) 全文: arXiv公司 OA许可证
阿尔伯特·维瑟;塔德乌兹·利塔克 刘易斯和布鲁尔会见了斯特朗·勒布。 arXiv:240.411969年 预印本,arXiv:2404.11969[math.LO](2024)。MSC公司:03B45号 03层45 03楼50 03楼55 BibTeX公司 引用 \textit{A.Visser}和\textit{T.Litak},“Lewis和Brouwer meet Strong L”,预打印,arXiv:240.411969[math.LO](2024) 全文: arXiv公司 OA许可证
瓦法,诺亚·阿布·埃尔;安德烈·普拉泽 用破坏完成游戏逻辑。 arXiv公司:2404.09873 预打印,arXiv:2404.09873[cs.LO](2024)。MSC公司:03B70号 03B45号 60年第68季度 91A44型 91A05型 91A25型 BibTeX公司 引用 \textit{N.A.E.Wafa}和\textit{A.Platzer},“用破坏完成游戏逻辑”,预打印,arXiv:2404.09873[cs.LO](2024) 全文: arXiv公司 OA许可证
博里奇,布兰尼斯拉夫 阿罗森理论被简化了。 arXiv公司:2404.09018 预打印,arXiv:2404.09018[math.LO](2024)。MSC公司:03B10号机组 03B30型 91B14号机组 91B02型 91B08型 91B10型 BibTeX公司 引用 \textit{B.Boričić},“简化箭头理论”,预印本,arXiv:2404.09018[math.LO](2024) 全文: arXiv公司 OA许可证
马可·阿巴迪尼;弗朗西丝卡·古凡蒂 通用布尔学说中的量词交替深度。 arXiv公司:2404.08551 预打印,arXiv:2404.08551[math.LO](2024)。MSC公司:03G30型 03B10号机组 18立方厘米 08C15号 08B20号 BibTeX公司 引用 \textit{M.Abbadini}和\textit{F.Guffanti},“通用布尔学说中的量词交替深度”,预印本,arXiv:2404.08551[math.LO](2024) 全文: arXiv公司 OA许可证
范洁 错误信念和根本无知的逻辑。 arXiv公司:2404.07442 预打印,arXiv:2404.07442[math.LO](2024)。MSC公司:03B45号 03B42号 BibTeX公司 引用 \textit{J.Fan},“错误信念和根本无知的逻辑”,预印本,arXiv:2404.07442[math.LO](2024) 全文: arXiv公司 OA许可证
安东·弗伦德 扩张器和逆向数学动物园。 arXiv公司:2404.06872 预打印,arXiv:2404.06872[math.LO](2024)。MSC公司:03B30型 10年5月 2015年1月3日 35楼03号 BibTeX公司 引用 \textit{A.Freund},“扩张器和逆向数学动物园”,预印本,arXiv:2404.06872[math.LO](2024) 全文: arXiv公司 OA许可证
山姆·桑德斯 关于度量空间上连续函数的注记。 arXiv:2404.06805 预印本,arXiv:2404.06805[math.LO](2024)。MSC公司:03B30型 35楼03号 BibTeX公司 引用 \textit{S.Sanders},“关于度量空间上连续函数的一个注释”,预印本,arXiv:22404.06805[math.LO](2024) 全文: arXiv公司 OA许可证
列夫·贝克莱米舍夫。 关于GLP的统一问题。 arXiv:2404.04893 预打印,arXiv:2404.04893[math.LO](2024)。MSC公司:03B45号 03层45 BibTeX公司 引用 \textit{L.D.Beklemishev},“关于GLP的统一问题”,预打印,arXiv:2404.04893[math.LO](2024) 全文: arXiv公司 OA许可证
Paola Cattabriga公司 拒绝与Provability一样递归。 arXiv:2404.04038 预打印,arXiv:2404.04038[cs.LO](2024)。MSC公司:03D99号 03B70号 第68季度01 BibTeX公司 引用 \textit{P.Cattabriga},“可拒绝性与可预防性一样递归”,预打印,arXiv:2404.04038[cs.LO](2024) 全文: arXiv公司 OA许可证
弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 具有两个等价关系的二变量一阶逻辑的插值存在性是不可判定的。 arXiv公司:2404.02683 预打印,arXiv:2404.02683[cs.LO](2024)。MSC公司:03B45号 03C40号 BibTeX公司 引用 \textit{F.Wolter}和\textit{M.Zakharyaschev},“具有两个等价关系的二变量一阶逻辑的插值存在性不可判定”,预印本,arXiv:2404.02683[cs.LO](2024) 全文: arXiv公司 OA许可证
佐托鲁黑田 在有界算法中形式化Pfaffian。 arXiv公司:2404.01728 预印本,arXiv:2404.01728[math.LO](2024)。MSC公司:03B70号 2015年1月15日 2015年3月1日 BibTeX公司 引用 \textit{S.Kuroda},“在有界算术中形式化Pfaffian”,预打印,arXiv:2404.01728[math.LO](2024) 全文: arXiv公司 OA许可证
伊利亚·夏皮罗夫斯基。;弗拉迪斯拉夫·斯利乌萨雷夫 模态逻辑的局部表格产品。 arXiv:2404.01670 预打印,arXiv:2404.01670[math.LO](2024)。MSC公司:03B45号 BibTeX公司 引用 \textit{I.B.Shapirovsky}和\textit{V.Sliusarev},“模态逻辑的局部表积”,预印本,arXiv:2404.01670[math.LO](2024) 全文: arXiv公司 OA许可证
安德烈·鲍尔;詹姆斯·汉森(James E.Hanson)。 可数雷亚尔。 arXiv:2404.01256 预打印,arXiv:2404.01256[math.LO](2024)。MSC公司:03B99 03楼55 BibTeX公司 引用 \textit{A.Bauer}和\textit{J.E.Hanson},“可数领域”,预印本,arXiv:2404.01256[math.LO](2024) 全文: arXiv公司 OA许可证
马泰奥·卡布奇;布鲁诺加夫拉诺维奇;阿卜杜拉·马利克;里奥斯,弗朗西斯科;乔纳森·温伯格 关于光学、透镜和辩证范畴的纤维构造。 arXiv公司:2403.16388 预印本,arXiv:2403.16388[math.CT](2024)。MSC公司:18立方米 18天30分 2005年8月 03G30型 03B38型 BibTeX公司 引用 \textit{M.Capucci}等人,“光学、透镜和辩证范畴的纤维结构”,预印本,arXiv:2403.16388[math.CT](2024) 全文: arXiv公司 OA许可证
卫斯理·H·霍利迪。 基本上是模态逻辑。 arXiv公司:2403.14043 预打印,arXiv:2403.14043[math.LO](2024)。MSC公司:03B45号 06B15号 03G10年 BibTeX公司 引用 \textit{W.H.Holliday},“模态逻辑,基本原理”,预打印,arXiv:2403.14043[math.LO](2024) 全文: arXiv公司 OA许可证
韦斯利·福斯纳;西蒙·桑斯基 哈耶克基本逻辑中的插值。 arXiv公司:2403.13617 预打印,arXiv:2403.13617[math.LO](2024)。MSC公司:03G25号 03B47号 03C40号 05年6月 BibTeX公司 引用 \textit{W.Fussner}和\textit{S.Santschi},“H’jek基本逻辑中的插值”,预打印,arXiv:2403.13617[math.LO](2024) 全文: arXiv公司 OA许可证
达格·诺曼;山姆·桑德斯 关于逆向数学中的序列定理。 arXiv公司:2403.13143 预印本,arXiv:2403.13143[math.LO](2024)。MSC公司:03B30型 35楼03号 BibTeX公司 引用 \textit{D.Normann}和\textit{S.Sanders},“关于逆向数学中的序列定理”,预印本,arXiv:2403.13143[math.LO](2024) 全文: arXiv公司 OA许可证
谢尔盖·阿特莫夫 串行属性、选择器证明和一致性证明。 arXiv:2403.12272 预打印,arXiv:2403.12272[math.LO](2024)。MSC公司:03A05号 03B30型 03财年03 07年3月 30楼03号 03F40型 BibTeX公司 引用 \textit{S.Artemov},“序列属性,选择器证明和一致性的可验证性”,预打印,arXiv:2403.12272[math.LO](2024) 全文: arXiv公司 OA许可证
乔纳森·温伯格 单形同伦型理论中的广义Chevalley准则。 arXiv公司:2403.08190 预印本,arXiv:2403.08190[math.CT](2024)。MSC公司:03B38型 18号50 18号60 18号45 55立方英寸35 18天30分 BibTeX公司 引用 \textit{J.Weinberger},“单形同伦类型理论中的广义Chevalley准则”,Preprint,arXiv:2403.08190[math.CT](2024) 全文: arXiv公司 OA许可证
安德烈斯·加拉多;伊格纳西奥·维格利佐 不确定动态系统的协同模态逻辑。 arXiv公司:2403.06177 预打印,arXiv:2403.06177[cs.LO](2024)。MSC公司:03B45号 03B52号 BibTeX公司 引用 \textit{A.Gallardo}和\textit{I.Viglizzo},“不确定性动态系统的协代数模态逻辑”,预印本,arXiv:2403.06177[cs.LO](2024) 全文: arXiv公司 OA许可证
加利福尼亚州米德尔堡。 Belnap-Dunn逻辑展开式的互定义性。 arXiv公司:2403.04641 预打印,arXiv:2403.04641[cs.LO](2024)。MSC公司:03B50号 BibTeX公司 引用 \textit{C.A.Middelburg},“Belnap-Dunn逻辑展开式的互定义性”,预打印,arXiv:2403.04641[cs.LO](2024) 全文: arXiv公司 OA许可证
休斯·卡勒姆;阿德里安·米兰达 小范畴二范畴的基本理论。 arXiv公司:2403.03647 预印本,arXiv:2403.03647[math.CT](2024)。MSC公司:03B30型 03E30年 03G30型 第18页第15页 18英镑05 18对25 18B50型 18D40号 18N10型 BibTeX公司 引用 \textit{C.Hughes}和\textit{A.Miranda},“小范畴2范畴的基本理论”,预印本,arXiv:2403.03647[math.CT](2024) 全文: arXiv公司 OA许可证
格雷塔·科拉利亚;雅各布·埃梅内格 语境理解的二分类分析。 arXiv公司:2403.03085 预印本,arXiv:2403.03085[math.CT](2024)。MSC公司:18号45 03B38型 18N15号 18日70分 18立方厘米 BibTeX公司 引用 \textit{G.Coraglia}和\textit{J.Emmenegger},“语境理解的双范畴分析”,预印本,arXiv:2403.03085[math.CT](2024) 全文: arXiv公司 OA许可证
斯特凡诺·邦齐奥;尼科尔·赞佩林 模态弱Kleene逻辑:公理化和关系语义。 arXiv公司:2403.01274 预打印,arXiv:2403.01274[math.LO](2024)。MSC公司:03B45号 BibTeX公司 引用 \textit{S.Bonzio}和\textit{N.Zamperlin},“模态弱Kleene逻辑:公理化和关系语义”,预打印,arXiv:2403.01274[math.LO](2024) 全文: arXiv公司 OA许可证
吉尔达·费雷拉;保罗·菲尔米诺 赫伯兰特改良可变现性。 arXiv公司:2402.16437 预打印,arXiv:2402.16437[math.LO](2024)。MSC公司:2010年1月3日 03B20型 03B40型 30楼03号 35层03 BibTeX公司 引用 \textit{G.Ferreira}和\textit{P.Firmino},“Herbrandized modified realizability”,预打印,arXiv:2402.16437[math.LO](2024) 全文: arXiv公司 OA许可证