Heyting $$\kappa $$ -框架

Pub Date : 2023-10-07 DOI:10.1007/s11225-023-10072-3

Hector Freytes, Giuseppe Sergioli

{"title":"Heyting $$\\kappa $$ -框架","authors":"Hector Freytes, Giuseppe Sergioli","doi":"10.1007/s11225-023-10072-3","DOIUrl":null,"url":null,"abstract":"Abstract In the framework of algebras with infinitary operations, the equational theory of $$\\bigvee _{\\kappa }$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:msub> <mml:mo>⋁</mml:mo> <mml:mi>κ</mml:mi> </mml:msub> </mml:math> -complete Heyting algebras or Heyting $$\\kappa $$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>κ</mml:mi> </mml:math> -frames is studied. A Hilbert style calculus algebraizable in this class is formulated. Based on the infinitary structure of Heyting $$\\kappa $$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>κ</mml:mi> </mml:math> -frames, an equational type completeness theorem related to the $$\\langle \\bigvee , \\wedge , \\rightarrow , 0 \\rangle $$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mo>⟨</mml:mo> <mml:mo>⋁</mml:mo> <mml:mo>,</mml:mo> <mml:mo>∧</mml:mo> <mml:mo>,</mml:mo> <mml:mo>→</mml:mo> <mml:mo>,</mml:mo> <mml:mn>0</mml:mn> <mml:mo>⟩</mml:mo> </mml:mrow> </mml:math> -structure of frames is also obtained.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Heyting $$\\\\kappa $$-Frames\",\"authors\":\"Hector Freytes, Giuseppe Sergioli\",\"doi\":\"10.1007/s11225-023-10072-3\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract In the framework of algebras with infinitary operations, the equational theory of $$\\\\bigvee _{\\\\kappa }$$ <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\"> <mml:msub> <mml:mo>⋁</mml:mo> <mml:mi>κ</mml:mi> </mml:msub> </mml:math> -complete Heyting algebras or Heyting $$\\\\kappa $$ <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\"> <mml:mi>κ</mml:mi> </mml:math> -frames is studied. A Hilbert style calculus algebraizable in this class is formulated. Based on the infinitary structure of Heyting $$\\\\kappa $$ <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\"> <mml:mi>κ</mml:mi> </mml:math> -frames, an equational type completeness theorem related to the $$\\\\langle \\\\bigvee , \\\\wedge , \\\\rightarrow , 0 \\\\rangle $$ <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\"> <mml:mrow> <mml:mo>⟨</mml:mo> <mml:mo>⋁</mml:mo> <mml:mo>,</mml:mo> <mml:mo>∧</mml:mo> <mml:mo>,</mml:mo> <mml:mo>→</mml:mo> <mml:mo>,</mml:mo> <mml:mn>0</mml:mn> <mml:mo>⟩</mml:mo> </mml:mrow> </mml:math> -structure of frames is also obtained.\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2023-10-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s11225-023-10072-3\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s11225-023-10072-3","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

摘要在具有无穷运算的代数框架下，研究了$$\bigvee _{\kappa }$$ κ -完备Heyting代数或Heyting $$\kappa $$ κ -框架的方程理论。给出了一个可代数的希尔伯特式微积分。基于Heyting $$\kappa $$ κ -frames的无穷结构，也得到了一个与frames的$$\langle \bigvee , \wedge , \rightarrow , 0 \rangle $$⟨，∧，→，0⟩-结构相关的等式型完备定理。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

Heyting $$\kappa $$-Frames

Abstract In the framework of algebras with infinitary operations, the equational theory of $$\bigvee _{\kappa }$$ ⋁ κ -complete Heyting algebras or Heyting $$\kappa $$ κ -frames is studied. A Hilbert style calculus algebraizable in this class is formulated. Based on the infinitary structure of Heyting $$\kappa $$ κ -frames, an equational type completeness theorem related to the $$\langle \bigvee , \wedge , \rightarrow , 0 \rangle $$ ⟨ ⋁ , ∧ , → , 0 ⟩ -structure of frames is also obtained.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助