{“status”:“ok”,“message type”:“work”,“message version”:“1.0.0”,“message”:{“indexed”:{“date parts”:[[2023,11,17],“date time”:“2023-11-17T15:40:10Z”,“timestamp”:1700235610125},“reference count”:15,“publisher”:“Wiley”,“issue”:“4”,“license”:[{“start”:{“date parts”:[[2003,5,13],“date time”:“2003-05-13T00:00:00Z”,“timestamp”:1052784000000},“content-version”:“vor”,“delay-in-days”:0,“URL”:“http://\/onlinelibrary.wiley.com/termsAndConditions#vor”}],“content-domain”:{“domain”:[],“crossmark-restriction”:false},“short-container-title”:[“数学逻辑Qtrly”],“published-print”:{“date-parts”:[[2003,7]},”abstract“:”摘要<\/jats:title>本文考虑了十二个经典否定律,并在BCK\u2010-代数的背景下研究了它们之间的关系。建立了否定律的分类,并得到了一些特征。例如,利用平移的概念,我们得到了Hilbert代数和交换BCK\u2010-代数的一些最小特征。因此,我们得到了一个将这些代数与布尔代数联系起来的定理<\/jats:p>“,”DOI“:”10.1002\/malq.200310035“,”type“:”journal-article“,”created“:{”date-parts“:[[2003,5,16]],”date-time“:”2003-05-16T17:32:56Z“,”timestamp“:1053106376000},”page“:“49”,“作者”:[{“给定”:“Francisco M.”,“家庭”:“Garc\u00eda Olmedo“,”sequence“:”first“,”affiliation“:[]},”{“given”:”Antonio J.“,”family“:”Rodr\u00Edgez Salas“,”sequence“:”additional“,”feliation“:[]}],”member“:”311“,”published-online“:{“date-parts”:[[2003,5,13]]}“reference”:[{“key”:“e_1_1_2_2”,“首页”:“29”,“文章标题”:“A note关于希尔伯特代数的演绎系统“,”卷“:”2“,”作者:“Busneag D.”,“年份”:“1985年”,“新闻标题”:“Kobe J.Math。“},{”key“:”e_1_1_3_2“,”doi-asserted-by“:”publisher“,”doi“:”10.1017\/S0004972700006730“}“key”:“e_2_1_4_2”,”unstructured“:”J.Dopp Notions de Logique Formelle(Editions Nauwelaerts S.A.Leuwen 1965)。“}163::AID-MALQ163>3.0.CO;2-B“},{“键”:“e_1_2_1_6_2”,“doi-asserted-by“:”publisher“,”doi“:”10.1002 \/malq.19880340305“},{”key“:”e_1_1_7_2“,”unstructured“:”A.Heyting直觉主义:导论(North\u2010 Holland Publ.Comp.Amsterdam 1971)。“}”,{“key”:“e_2_1_8_2”,“首页”:“1”,“article-title”:“BCK\u2010代数理论导论”,“卷”:“23”,“作者”:“Iseki K.”,“年份”:“1978年”,“journal-title“:”数学。Japonica“},{“key”:“e_1_1_9_2”,“unstructured”:“S.C.Kleene Metama数学导论(North\u2010荷兰出版社阿姆斯特丹1952)”。},},“key“:”e_2_1_10_2“,”unstructure“:”J.\u0141ukasiewicz亚里士多德的三段论(克拉伦登出版社,牛津,1957)。“}B.Mates初级逻辑(牛津大学出版社,牛津1965年)。“},{”key“:”e_1_1_12_2“,”first page“:“354”,”article-title“:”Sobre negaciones en ret\u00edculos“,”author“:”Pla Carrera J.“,”year“:”1973“,”journal title“:“Actas de las Jornadas Hispano\u2010Lusitanas”},”{“key”:“e_2_13_2”,”unstructured“:”J.Pla Carerra Notas acecca de las S\u2010 y T\u2010negacionesions.Para Congreso 1976年11月。“},{“键”:“e_1_2_1_14_2“,”首页“:”905“,”文章标题“:”Hilbert结构的否定“,”作者“:”Pla Carrera J.“,”年份“:”1979“,”期刊标题“:“桑坦德大学校订本”},{“key”:“e_1_i_15_2”,”非结构化“:”A。J.Rodr\u00edguez Salas Un Estudio Algebraico de los C\u00e1lculos Proposiconales de\u0141ukasiewicz(罗德·u00edguez萨拉斯·Un Esturdio代数)。巴塞罗那大学C\u00e0lcul de Probabilitats i Estad\u00edstica Matem\u00e 0tica 1980年12月的博士论文container-title“:[“Mathematical Logic Quarterly”],“original-title”:[],“language”:“en”,“link”:[{“URL”:“https:\/\/api.wiley.com/onlinelibrary\/tdm\/v1\/articles \/10.1002%2Fmalq.200310035”,“content-type”:“unspecified”,“content-version”:“vor”,“intended-application”:“text-mining”},{“URL”:“https:\/\/onlinelibrary.wiley.com/doi\/pdf\/10.1002\/malq.200310035“,”content-type“:”unspecified“,”content-version“:”vor“,”intended-application“:”similarity-checking“}],”deposed“:{”date-parts“:[[2023,11,17]],”date-time“:“2023-11-17T15:11:36Z”,”timestamp“:1700233896000},”score“:1,”resource“:”{“primary”:{“URL”:“”https:\/\/onlinelibrary.wiley.com/doi\/10.1002\/malq.200310035“}},”副标题“:[],”短标题“:[],”已发布“:{”日期部分“:[[2003,5,13]]},“references-count”:15,“日志发布”:{“发布”:“4”,“发布-打印”:{“日期部分”:[[2003,7]}}、“替代id”:[“10.1002\/malq.200310035]”],“URL”:“http://\/dx.doi.org\/10.1002\/malq.200310035”,“存档”:[“门廊“],”关系“:{},”ISSN“:[”0942-5616“,”1521-3870“],“ISSN-type”:[{“value”:“0942-561”,”type“:”print“},{“value”:“1521-38700”,”类型“:”electronic“}],”subject“:[],”published“:{“date-parts”:[[2003,5,13]]}}}}