JoséL.Castiglioni。;圣马汀,埃尔南·J。 关于希尔伯特代数中的前算子。 (英语) Zbl 1407.03079号 日志。J.IGPL公司 23,第2期,217-234(2015). 摘要:在本文中,我们引入并研究了Hilbert代数中的一类相容函数,这些函数在Heyting代数的情况下与L.Esakia公司[J.Appl.Non Class.Log.16,编号3–4,349–366(2006;Zbl 1186.03043号)]. 此外,我们在前人工作的基础上给出了一个表示理论S.A.塞拉尼等[Cent.Eur.J.Math.7,No.3,463-478(2009;Zbl 1184.03064号)]和S.A.塞拉尼和D.蒙坦吉【《数理逻辑代表》49、47–77(2014;Zbl 1355.03049号); 代数大学。67,第3期,237–255页(2012年;Zbl 1254.03117号)]对于带有前算子的Hilbert代数和带有某些特定前算子的Hilbert代数。 引用于三文件 MSC公司: 03G25号 与逻辑相关的其他代数 05年6月 分配格的结构与表示理论 03B45号 模态逻辑(包括规范逻辑) 06D20日 Heyting代数(格理论方面) 06年50月 格与对偶 35楼06号 BCK-代数,BCI-代数 关键词:希尔伯特代数;兼容的功能;模态运算符;正面操作员;希尔伯特对偶 引文:Zbl 1186.03043号;Zbl 1184.03064号;Zbl 1355.03049号;Zbl 1254.03117号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Castiglioni}和\textit{H.J.San Martín},Log。J.IGPL 23,第2号,217--234(2015;Zbl 1407.03079) 全文: 内政部