马塞洛·埃斯特班(Marcelo Esteban Coniglio);德托莱多,吉尔赫梅·维琴丁 与多代数范畴等价的有序代数范畴。 (英语) Zbl 07811424号 牛市。第节。日志。,大学后勤部。 52,第4期,517-550(2023年).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Coniglio}和\textit{G.V.de Toledo},公牛。第节。日志。,罗兹大学,后勤部。52,编号4,517--550(2023;Zbl 07811424) 全文: DOI程序 arXiv公司 OA许可证
西蒙·马提尼;安德烈亚·马西尼;玛格丽塔·佐齐 切除延长的连续结石。 (英语) Zbl 07811422号 牛市。第节。日志。,大学后勤部。 52,第4期,459-495(2023).MSC公司:03B22号 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Martini}等人,公牛。第节。日志。,大学后勤部。52,编号4,459--495(2023;Zbl 07811422) 全文: DOI程序 OA许可证
亚历山大五世(Alexander V.Gheorghiu)。;大卫·J·派姆。 直觉主义命题逻辑的定义公式、否定即失败和基本扩展语义。 (英语) Zbl 07811414号 牛市。第节。日志。,大学后勤部。 52,编号2,239-266(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Gheorghiu}和\textit{D.J.Pym},公牛。第节。日志。,大学后勤部。52,编号2,239--266(2023;Zbl 07811414) 全文: DOI程序 arXiv公司 OA许可证
萨拉·艾汉;海因里希·万兴 论证明理论语义学中的同义词:\(\mathtt{2Int}\)的情况。 (英语) Zbl 07811413号 牛市。第节。日志。,大学后勤部。 52,第2期,187-237(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Ayhan}和\textit{H.Wansing},公牛。第节。日志。,大学后勤部。52,第2号,187--237(2023;Zbl 07811413) 全文: DOI程序 OA许可证
艾玛·范·迪克;戴维·里普利;朱利安·古铁雷斯 核心类型理论。 (英语) Zbl 07811412号 牛市。第节。日志。,大学后勤部。 52,第2期,145-186(2023).MSC公司:03A05号 03B38型 03B47号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.van Dijk}等人,公牛。第节。日志。,大学后勤部。52,编号2,145--186(2023;Zbl 07811412) 全文: DOI程序 OA许可证
雷斯塔尔,格雷格 具有替代项的自然演绎中的结构规则。 (英语) Zbl 07811411号 牛市。第节。日志。,大学后勤部。 52,第2期,109-143(2023).MSC公司:03A05号 03财年03 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{G.Restall},公牛。第节。日志。,大学后勤部。52,编号2,109--143(2023;Zbl 07811411) 全文: DOI程序 OA许可证
奥列格·格里戈里耶夫;德米特里·扎伊采夫 基本的四值循环否定系统。 (英语) Zbl 07811402号 牛市。第节。日志。,大学后勤部。 51,第4号,507-533(2022).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{O.Grigoriev}和\textit{D.Zaitsev},公牛。第节。日志。,大学后勤部。51,编号4,507--533(2022;Zbl 07811402) 全文: DOI程序 OA许可证
巴图尔·甘吉萨法尔;莫娜·阿莱·科洛加尼;拉贾布·阿里·博尔祖艾 \(EQ)-代数的(n)-折叠滤子。 (英语) Zbl 07811400号 牛市。第节。日志。,大学后勤部。 51,第4期,455-486(2022年).MSC公司:03G25号 06B10号 06B99号 PDF格式BibTeX公司 XML格式引用 \textit{B.G.Saffar}等人,公牛。第节。日志。,罗兹大学,后勤部。51,编号4,455--486(2022;Zbl 07811400) 全文: DOI程序 OA许可证
斯蒂芬·巴什马科夫。;Zvereva,Tatyana Yu。 具有通用模态的线性阶梯时序多智能体逻辑的统一性和有限模型性质。 (英语) Zbl 07811396号 牛市。第节。日志。,大学后勤部。 51,编号3,345-361(2022).MSC公司:03B44号 03B42号 03A05号 03B45号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Bashmakov}和\textit{T.Yu.Zvereva},公牛。第节。日志。,大学后勤部。51,编号3,345--361(2022;Zbl 07811396) 全文: DOI程序 OA许可证
胜美佐佐木 不当推理规则的分类。 (英语) Zbl 07811390号 牛市。第节。日志。,大学后勤部。 51,编号2,243-266(2022).MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{K.Sasaki},公牛。第节。日志。,大学后勤部。51,编号2,243--266(2022;Zbl 07811390) 全文: DOI程序 OA许可证
卢·戈尔迪夫;E.赫尔曼·海尔(E.Hermann Haeusler) 补遗:“验证压缩和NP与PSPACE.II”。 (英语) Zbl 07811387号 牛市。第节。日志。,大学后勤部。 51,第2期,197-205(2022).MSC公司:20层03 2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Gordeev}和\textit{E.H.Haeusler},公牛。第节。日志。,大学后勤部。51,第2号,197--205(2022;Zbl 07811387) 全文: DOI程序 arXiv公司 OA许可证
托本·布吕纳 混合逻辑的分析非标签证明系统:概述和几个引人注目的事实。 (英语) Zbl 07811384号 牛市。第节。日志。,大学后勤部。 51,编号2,143-162(2022).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Braüner},公牛。第节。日志。,大学后勤部。51,编号2,143--162(2022;Zbl 07811384) 全文: DOI程序 OA许可证
马塞洛·科尼格里奥(Marcelo E.Coniglio)。;Guilherme V.托莱多。 弱自由多代数。 (英语) Zbl 07696166号 牛市。第节。日志。,大学后勤部。 51,第1号,109-141(2022).MSC公司:03G25号 第08页 08B20号 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Coniglio}和\textit{G.V.Toledo},公牛。第节。日志。,大学后勤部。51,编号1,109--141(2022;Zbl 07696166) 全文: DOI程序 arXiv公司 OA许可证
胜美佐佐木 没有不当推导的连续系统。 (英语) Zbl 07696165号 牛市。第节。日志。,罗兹大学,后勤部。 51,编号1,91-108(2022).MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{K.Sasaki},公牛。第节。日志。,大学后勤部。51,编号1,91--108(2022;Zbl 07696165) 全文: DOI程序 OA许可证
阿拉瓦尼斯·提奥凡尼斯 对理论变化的认识论研究。 (英语) Zbl 07696161号 牛市。第节。日志。,罗兹大学,后勤部。 51,编号1,1-26(2022).MSC公司:03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Aravanis},公牛。第节。日志。,大学后勤部。51,编号1,1--26(2022;Zbl 07696161) 全文: DOI程序 OA许可证
郝云歌;乔治·图拉基斯 一种算术上完全的谓词模态逻辑。 (英语) Zbl 1529.03151号 牛市。第节。日志。,大学后勤部。 50,编号4,513-541(2021).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hao}和\textit{G.Tourlakis},公牛。第节。日志。,大学后勤部。50,编号4,513--541(2021;Zbl 1529.03151) 全文: DOI程序 OA许可证
陈金生;汉斯·范·迪特马什;朱塞佩·格雷科;阿波斯托洛斯·齐莫利斯 分级模态逻辑的邻域语义。 (英语) 兹比尔1529.03143 牛市。第节。日志。,大学后勤部。 50,编号3,373-395(2021).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}等人,公牛。第节。日志。,大学后勤部。50,编号3,373--395(2021;Zbl 1529.03143) 全文: DOI程序 arXiv公司 OA许可证
费德里科·法罗尔迪。 通过不精确的测量,实现价值逻辑和分歧。 (英语) 兹比尔1529.03129 牛市。第节。日志。,大学后勤部。 50,第2期,131-149(2021).MSC公司:03B42号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{F.L.G.Faroldi},公牛。第节。日志。,大学后勤部。50,编号2,131--149(2021;Zbl 1529.03129) 全文: DOI程序 OA许可证
卢·戈尔迪夫;爱德华·赫尔曼·海尔 验证压缩和NP与PSPACE。二、。 (英语) Zbl 1477.03246号 牛市。第节。日志。,大学后勤部。 49,第3期,213-230(2020); 增编同上,第51号,第2期,197-205(2022)。MSC公司:20层03 2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Gordeev}和\textit{E.H.Haeusler},公牛。第节。日志。,大学后勤部。49,第3号,213--230(2020;Zbl 1477.03246) 全文: DOI程序 OA许可证
Hitoshi大森 关于Ciuciura的\(\mathbf{mbC}^1)的注释。 (英语) Zbl 1446.03061号 牛市。第节。日志。,大学后勤部。 48,第3期,161-171(2019).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{H.Omori},公牛。第节。日志。,大学后勤部。48,第3号,161--171(2019;Zbl 1446.03061) 全文: DOI程序 OA许可证
Krystyna,Mruczek Nasieniewska先生;马雷克·纳西涅夫斯基 作为道义逻辑的否定和正则扩展的不可能性逻辑(mathbf D2)。 (英语) Zbl 1423.03060号 牛市。第节。日志。,大学后勤部。 46,编号3-4,263-282(2017).MSC公司:03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{K.Mruczek-Nasienewska}和\textit{M.Nasieneowski},公牛。第节。日志。,大学后勤部。46,编号3--4,263--282(2017;Zbl 1423.03060) 全文: DOI程序 OA许可证
米尔贾纳·伊利奇 直觉命题逻辑的另一种自然演绎。 (英语) Zbl 1403.03013号 牛市。第节。日志。,大学后勤部。 45,第1期,33-51(2016).MSC公司:03B20型 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Ilić},公牛。第节。日志。,大学后勤部。45、1号、33-51(2016;Zbl 1403.03013) 全文: DOI程序 OA许可证