当前位置：
X-MOL 学术
›
Stud. Log.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Heyting $$\kappa $$ -Frames
Studia Logica ( IF 0.7 ) Pub Date : 2023-10-07 , DOI: 10.1007/s11225-023-10072-3 Hector Freytes , Giuseppe Sergioli
更新日期：2023-10-10
Studia Logica ( IF 0.7 ) Pub Date : 2023-10-07 , DOI: 10.1007/s11225-023-10072-3 Hector Freytes , Giuseppe Sergioli
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 \)-structure of frames is also obtained.
京公网安备 11010802027423号