×

关于希尔伯特代数中的前算子。 (英语) Zbl 1407.03079号

摘要:在本文中,我们引入并研究了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-代数
PDF格式BibTeX公司 XML格式引用
全文: 内政部