奥尼尔，塔辛;塔奇·卡蒂肯;博鲁曼德·赛义德（Borumand Saeid），阿尔沙姆 Sheffer笔划和Hilbert代数之间的关系。 （英语） Zbl 07528804号 类别。阿尔盖布将军。结构。申请。 14，编号1，245-268（2021）. 小结：本文通过给出Sheffer笔划和Hilbert代数的定义，引入了Sheffer-笔划Hilbert代数学。在证明Sheffer-stroke-Hilbert代数的公理是独立的之后，给出了该代数结构的一些性质。然后通过定义Sheffer-stroke-Hilbert代数上的一元运算，阐述了Sheffer-stroke-Hilbert代数与Hilbert代数之间的关系。给出了该代数结构的演绎体系和理想。它定义为Sheffer-stroke-Hilbert代数的子集生成的理想，并通过将该代数的元素添加到其理想中来构造该代数的新理想。 引用于7文件 理学硕士： 35楼06号 BCK-代数，BCI-代数 03G25号 与逻辑相关的其他代数 关键词：希尔伯特代数;Sheffer冲程;谢弗中风希尔伯特代数 PDF格式BibTeX公司 XML格式引用 \textit{T.Oner}等人，类别。阿尔盖布将军。结构。申请。14，编号1，245--268（2021；Zbl 07528804） 全文： 内政部 OA许可证 参考文献： [1] Abbott，J.C.，蕴涵代数，布尔。数学。社会科学。数学。Roumanie 11（1）（1967），3-23·Zbl 0169.30401号 [2] Chajda，I.，《正交晶格中的Sheffer操作》，AActa大学帕拉克分校。奥洛穆克。工厂。Rerum Natur公司。数学。44(1) (2005), 19-23. ·Zbl 1091.06007号 [3] Cornish，W.H.，《关于正蕴涵BCK-代数》，数学研讨会笔记8（1980），455-468·Zbl 0473.03061号 [4] Diego，A.，Sur les algebras de Hilbert，Ed.Hermann，《逻辑数学汇编》。21, (1966). ·Zbl 0144.00105号 [5] Henkin，L.，量词的代数表征，基金。数学。37 (1950), 63-74. ·Zbl 0041.34804号 [6] Idziak，P.M.，BCK-代数中的格运算，科学。数学。日本。29 (1984) 839-846. ·Zbl 0555.03030号 [7] Iorgulescu，A.，“逻辑代数作为BCK代数”，Editura ASE，布加勒斯特，2008年·Zbl 1172.03038号 [8] Is´eki，K.和Tanaka，S.，BCK-代数理论导论，科学。数学。日本。，23(1) (1978), 1-26. ·Zbl 0385.03051号 [9] Jun，Y.B.，交换希尔伯特代数，苏州数学杂志，22（4）（1996），477-484·Zbl 0864.03042号 [10] McCune，W.、Veroff，R.、Fitelson，B.、Harris，K.、Feist，A.和Wos，L.，《布尔代数的短单公理》，J.自动机。原因。，29(1) (2002), 1-16. ·Zbl 1014.06012号 [11] Oner T.和Senturk I.，《基本代数的Sheffer笔划操作约简》，开放数学。15 (2017), 926-935. ·Zbl 1373.06008号 [12] Rasiowa，H.，“非经典逻辑的代数方法”，《逻辑和数学基础研究》78，北荷兰人和普华永道出版社，1974年·Zbl 0299.02069号 [13] Sheffer，H.M.，布尔代数的一组五个独立公设，应用于逻辑常数，Trans。阿默尔。数学。《社会学杂志》，14（4）（1913），481-488。 [14] Schmid，J.，分配格和商环，Coll。数学。Societatis Janos Bolyai《社会杂志》33（1980），675-696·Zbl 0526.06009 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。