索科菲·古尔巴尼 抽象箍扭结构的逻辑。 （英语） Zbl 1522.03345号 Ann.纯粹应用。逻辑 169，第10号，981-996（2018）. 小结：本文介绍并研究了一种与抽象箍扭结构相对应的逻辑，并给出了关于这种逻辑的一些结果。我们证明了这一逻辑的局部演绎定理，并证明了这一逻辑对于抽象环扭结构的拟变种是可代数的。 理学硕士： 03G25号 与逻辑相关的其他代数 03B53号 准一致逻辑 08C15号 准变种 关键词：代数逻辑;扭曲结构;AHT-代数;箍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghorbani}，Ann.纯粹应用。逻辑169，编号10，981--996（2018；Zbl 1522.03345） 全文： 内政部 参考文献： [1] 阿格里亚诺，P。；费雷里姆，I.M.A。；Montagna，F.，《基础圈：连续t-范数的代数研究》，Studia Logica，87，73-98，（2007）·Zbl 1127.03049号 [2] 布洛克，W.J。；Ferreirim，I.M.A.，《Hoops及其关联约简（摘要）》，（逻辑和计算机科学中的代数方法，巴拿赫中心出版社，第28卷，（1993年）），219-230·Zbl 0848.06013号 [3] 布洛克，W.J。；费雷里姆，I.M.A.，《关于篮球的结构》，《普遍代数》，第43期，第233-257页，（2000年）·Zbl 1012.06016号 [4] 布洛克，W.J。；Pigozzi，D.，代数逻辑，Mem。阿默尔。数学。Soc.，第396卷，（1989），美国。数学。Soc.普罗维登斯·Zbl 0664.03042号 [5] J.R.Büchi，T.M.Owens，互补幺半群和环，未出版手稿。；J.R.Büchi，T.M.Owens，互补幺半群和环，未出版手稿。 [6] Busaniche，M。；Cignoli，R.，剩余格作为次协调Nelson逻辑的代数语义，J.logic Comput。，19, 1019-1029, (2009) ·Zbl 1191.03045号 [7] 埃斯特娃，F。；戈多，L。；哈耶克，P。；Montagna，F.，Hoops and fuzzy logic，J.逻辑计算。，13, 532-555, (2003) ·Zbl 1039.03016号 [8] 费雷里姆，I.M.A.，《关于箍筋的变种和准变种及其还原》，（1992年），芝加哥伊利诺伊大学，博士论文 [9] 字体，J.M。；Jansana，R。；Pigozzi，D.，抽象代数逻辑综述，Studia Logica，74，1-2，13-97，（2003）·Zbl 1057.03058号 [10] Ghorbani，S.，hoop-代数的局部化，J.Adv.Res.纯粹数学。，5, 1-13, (2013) [11] Ghorbani，S.，Hoop扭曲结构，J.应用。日志。，(2016) ·Zbl 1436.03321号 [12] Jansana，R。；Rivieccio，U.，模态N4-晶格的对偶性，Log。J.IGPL（2014）·Zbl 1335.03071号 [13] Odintsov，S.P.，次协调Nelson逻辑的代数语义，J.logic Comput。，13, 453-468, (2003) ·Zbl 1034.03029号 [14] 小野，H。；Rivieccio，U.，剩余格上的模态扭转结构，Log。J.IGPL（2013）·Zbl 1335.03072号 [15] Rivieccio，U.，《基于双参数逻辑的代数研究》，（2010），巴塞罗那大学，博士论文 [16] 里维奇奥（Rivieccio，U.），《隐含扭转结构》，《普遍代数》（Algebra Universalis），第71期，第155-186页，（2014年）·Zbl 1386.06011号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。