Sankappanavar，H.P。 半Heyting代数的扩张。一： 鉴别器种类。 （英语） Zbl 1254.06006号 螺柱日志。 98，编号1-2，27-81（2011）. 本文是对发展半Heyting代数展开理论的贡献。本文的目标如下：(1)为了证明以下猜想的有效性：存在多种V（V）代数将提供一个统一的框架来陈述和证明结果，这些结果要么是惊人相似结果的通用推广，要么是其他结果的推广。(2)给出了半Heyting代数一元展开为判别簇的判据，并给出了判别簇的生成算法。(3)调查品种德国船级社并表明它也包含丰富的鉴别器种类。(4)给出这些结果的应用（为BDQDSH公司–混合对偶拟De Morgan半Heyting代数；DQSSH公司–对偶拟-Stone半Heyting代数；和德国船级社–双半Heyting代数）。本文的主要结果如下：–新品种的定义DHMSH公司对偶拟De Morgan半Heyting代数的子簇DQDSH公司对偶拟De Morgan半Heyting代数，并给出了这些变种的一些算术性质。–介绍混合型（V）-德摩根定律及其变化BDQDSH公司并证明了DPCSH公司对偶伪补半Heyting代数及其簇DmsSH公司对偶半Heyting代数是BDQDSH公司.–证明了DHMSH公司由普通过滤器确定。–品种中直接不可分解和单形的特征BDQDSH公司.–证明每个有限单形BDQDSH公司功能完整。–给出了半Heyting代数通过一元运算进行的非常一般的扩张为判别簇的一个充分条件。–品种描述DQDBSH公司作为三个4元生成的簇的对偶拟De Morgan布尔半Heyting代数第1天,D2类和第3天.–品种介绍RDQDSH公司正则对偶拟De Morgan半Heyting代数，并证明RDQDSH公司是的一个子变种BDQDSH公司.–为子品种提供基础DQDSHC3型属于DQDDSH公司由所有二十条3链以及每条3链的基生成。–品种基础介绍DMHC公司由De Morgan Heyting链生成，以及由有限链生成的每个子变种的基。–为品种奠定基础DPCHC公司由对偶伪补Heyting链生成，并由有限链生成其每个子簇的基。–子品种介绍DQSSH公司（对偶拟石半Heyting代数）DHMSH公司，它不是BDQDSH公司.–中单形的特征DQSSH公司并证明了DQSSH公司是鉴别器种类。–品种调查DPCHC公司作为DQSSH公司.–基础的表示DPCHC公司相对于dqsh公司.–用一元运算描述半Heyting代数的展开，即簇德国船级社并证明它们的同余与DPCSH公司-减少。–品种中直接不可分解和单形的特征德国船级社.–几个亚品种的介绍数据库，包括数据库\（_n\）并证明了这一点数据库\（_n\）对于（n\in\omega），形成一个递增的鉴别器种类序列。–给出每个2元代数的基数，以及100个3元链生成的多样性的基数，视为德国船级社.我认为这篇被评论的文章包含了有价值的结果，它是关于这个主题的其他研究的起点。审核人：Lavinia Ciungu（克雷奥瓦） 引用于2评论引用于12文件 MSC公司： 06D20日 Heyting代数（格理论方面） 03G25号 与逻辑相关的其他代数 08B26号 次直积和次直不可约性 关键词：半Heyting代数;De Morgan半Heyting代数;混合型法;双半Heyting代数;同余;普通过滤器;鉴别器种类 软件：梅斯4;校准仪9 PDF格式BibTeX公司 XML格式引用 \textit{H.P.Sankappanavar}，研究日志。98，编号1--2，27-81（2011；Zbl 1254.06006） 全文： 内政部 参考文献： [1] Abad，M.、J.M.Cornejo和J.P.Diaz Varela，“满足等式（01）*（01）**1的半Heyting代数的种类”，《数学逻辑报告》，接受于2011年出版·Zbl 1272.06020号 [2] Abad，M.、J.M.Cornejo和J.P.Diaz Varela，《半Heyting链生成的多样性》，《软计算》，接受于2011年出版·兹比尔1260.06009 [3] Abad，M.和L.Monteiro，“自由对称布尔代数”，《U.M.A.修订》，207–2151976年·Zbl 0361.06014号 [4] Abbott J.C.：“蕴涵代数”。牛市。数学。科学数学。罗马共和国11、3–23（1967）·Zbl 0169.30401号 [5] Abbott，J.C.，“半布尔代数”，Matematicki Vennik，177-1981967年。 [6] Adams M.，Katrinak T.：“关于次直不可约分配双p-代数的注记”。J.澳大利亚数学。Soc.（Ser.A）35、46–58（1983年）·Zbl 0541.06007号 ·doi:10.1017/S1446788700024769 [7] Balbes R.，Dwinger博士：分配格。密苏里大学出版社，哥伦比亚（1974年）·Zbl 0321.06012 [8] Beazer R.：“双p-代数上的判定同余”。代数大学6121-129（1976）·Zbl 0353.06002号 ·doi:10.1007/BF02485824 [9] Beazer R.：“次直接不可约双Heyting代数”。代数大学10，220-224（1980）·Zbl 0431.06014号 ·doi:10.1007/BF02482903 [10] Berman J.：“带有附加一元运算的分配格”。Aequationes数学。16, 165–171 (1977) ·Zbl 0395.06007号 ·doi:10.1007/BF01836429 [11] Bialynicki-Birula A.：“关于拟布尔代数的备注”。牛市。阿卡德。波兰。科学5，615–619（1957）·Zbl 0086.01002号 [12] Bialynicki-Birula A.，Rasiowa H.：“关于拟布尔代数的表示”。牛市。阿卡德。波兰。科学5，259–261（1957）·Zbl 0082.01403号 [13] Birkhoff，G.，晶格理论，美国。数学。Soc.，1940年。 [14] Birkhoff，G.，《晶格理论》，第二版，Amer。数学。Soc.，1948年·兹标0033.10103 [15] Birkhoff，G.，《晶格理论》，第三版，Amer。数学。Soc.，1967年·Zbl 0153.02501号 [16] Blyth，T.S.和J.C.Varlet，Ockham代数，牛津科学出版社，1994年·Zbl 0835.06011号 [17] Burris S.：“鉴别器种类和符号计算”。《符号计算杂志》13，175–207（1992）·Zbl 0803.08002号 ·doi:10.1016/S0747-7171（08）80089-2 [18] Burris，S.和R.McKenzie，可判定性和布尔表示，Mem。阿默尔。数学社会学第246号，1981年。 [19] Burris S.，Sankappanavar H.P.：普适代数课程。Springer–Verlag，纽约（1981年）·Zbl 0478.08001号 [20] Burris S.、Werner H.：“剪切构造及其基本属性”。事务处理。阿默尔。数学社会248269–309（1979）·Zbl 0411.03022号 ·doi:10.1090/S0002-9947-1979-0522263-8 [21] Curry H.B.：数学逻辑基础。麦格拉-希尔，纽约（1963年）·Zbl 0163.24209号 [22] Davey，B.和H.Priestley，《格与序导论》，第二版，剑桥大学出版社，2002年·Zbl 1002.06001号 [23] Epstein G.：“后代数的格理论”。事务处理。阿默尔。数学。Soc.95300-317（1960）·Zbl 0207.29403号 ·doi:10.1090/S0002-9947-1960-0112855-8 [24] Epstein G.，Horn A.：“P-代数，后代数的抽象”。代数大学4195-206（1974）·Zbl 0294.06010号 ·doi:10.1007/BF02485725 [25] Grätzer G.：格理论。W.H.Freeman and Co.，旧金山（1971） [26] Grätzer G.：泛代数。施普林格，纽约（2008）·Zbl 1143.08001号 [27] Halmos，P.，《代数逻辑I》，合成数学。，12:216–249, 1954–60. ·Zbl 0087.24505号 [28] Hilbert，D.和P.Bernays，Grundlagen der Mathematik，柏林，1939年·Zbl 0020.19301号 [29] Horn A.：“直觉命题演算的分离定理”。J.象征。逻辑27，391–399（1962）·Zbl 0117.25302号 ·doi:10.2307/2964545 [30] Horn A.：“线性序Heyting代数中具有真值的逻辑”。J.象征。逻辑34，395–408（1969）·Zbl 0181.29904号 ·doi:10.2307/270905 [31] Horn A.：“自由L-代数”。J.象征。逻辑34475–480（1969）·Zbl 0181.30001号 ·doi:10.2307/2270910 [32] Jónsson B.：“同余格是分配的代数”。数学。扫描。21, 110–121 (1967) ·Zbl 0167.28401号 [33] Jonstone P.T.：石头空间。剑桥大学出版社，剑桥（1982） [34] Kaarli，K.和A.Pixley，代数系统中的多项式完备性，CRC出版社，2001年·Zbl 0964.08001号 [35] Kalman J.A.：“对合格”。事务处理。阿默尔。数学。Soc.87485-491（1958年）·Zbl 0228.06003号 ·doi:10.1090/S0002-9947-1958-0095135-X [36] Katrinak T.：“分配双p-代数的结构，正则性和同余”。代数大学3，238–246（1973）·Zbl 0276.08005号 ·doi:10.1007/BF02945123 [37] Katrinak T.：“次直接不可约双p-代数”。代数大学10，195-219（1980）·Zbl 0431.06013 ·doi:10.1007/BF02482902 [38] Köhler P.：“一个不简单的次直不可约二重Heyting代数”。代数大学10，189-194（1980）·Zbl 0431.06015 ·doi:10.1007/BF02482901 [39] McKinsey J.C.C.，Tarski A.：“关于闭包代数中的闭元素”。数学年鉴。47, 122–167 (1946) ·Zbl 0060.06207号 ·doi:10.2307/1969038 [40] 麦肯锡J.C.C.，塔斯基A.：“关于刘易斯和海廷句子计算的一些定理”。J.象征。逻辑13，1-15（1948）·Zbl 0037.29409号 ·doi:10.2307/268135 [41] Meskhi V.Yu：“带对合的Heyting代数的判别器簇。《逻辑代数》21，537–552（1982）·Zbl 0521.06013号 ·doi:10.1007/BF02027229 [42] Monteiro A.：“Sur les algèbres de Heyting symetriques”。葡萄牙数学39、1–237（1980） [43] W.McCune，Prover9和Mace 4，http://www.cs.unm.edu/mccune/prover9/ [44] Rasiowa H.：非经典逻辑的代数方法。北荷兰出版社。公司。，阿姆斯特丹（1974）·Zbl 0299.02069号 [45] Rasiowa，H.和R.Sikorski，《元数学的数学》，华沙，1970年·Zbl 0122.24311号 [46] Romanowska A.：“次直接不可约伪补De Morgan代数”。代数大学12，70–75（1981）·Zbl 0457.06009号 ·doi:10.1007/BF02483864 [47] Sankappanavar，H.P.，“De Morgan代数主同余的特征及其应用”，载于《拉丁美洲数学逻辑》，北荷兰出版社。公司。，1980年，第341-349页·Zbl 0426.06008号 [48] Sankappanavar H.P.：“具有对偶伪互补的Heyting代数”。太平洋数学杂志。117, 405–415 (1985) ·Zbl 0569.06010号 ·文件编号：10.2140/pjm.1985.117.405 [49] Sankappanavar H.P.：“伪补Okham和De Morgan代数”。Zeitschr公司。f.数学。Logik und Grundlagen d.数学。32, 385–394 (1986) ·Zbl 0612.06009号 ·doi:10.1002/malq.19860322502 [50] Sankappanavar H.P.：“具有对偶格自同态的Heyting代数”。Zeitschr公司。f.数学。Logik und Grundlagen d.数学。33, 565–573 (1987) ·Zbl 0633.06005号 ·doi:10.1002/malq.19870330610 [51] Sankappanavar H.P.：“半德摩根代数”。J.象征。逻辑52、712–724（1987）·Zbl 0628.06011号 ·doi:10.2307/2274359 [52] Sankappanavar，H.P.，“Semi-Heyting代数：Heyting代数的抽象”，《第九届国会学报》，A.Monteiro博士，2007年，第33-66页·Zbl 1175.06003号 [53] Sankappanavar，H.P.，“半Heyting代数II”。正在准备中·Zbl 1254.06006号 [54] Sankappanavar，H.P.，“半Heyting代数的扩张。二、。正在准备中·Zbl 1254.06006号 [55] Sankappanavar N.H.，Sankappanava H.P.：“拟-Stone代数”。《数学逻辑季刊》39，255–268（1993）·Zbl 0812.06006号 ·doi:10.1002/malq.19930390130 [56] Stone，M.，“分配格和Brouwerian逻辑的拓扑表示”，Cas。害虫。数学。，1–25, 1937. ·Zbl 0018.00303号 [57] Werner，H.，判别代数，Studien zur Algebra und ihre Anwendungen，Band 6，Verlag学院，柏林，1978年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。