当前位置:
X-MOL 学术
›
Arch. Math. Logic
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On Hilbert algebras generated by the order
Archive For Mathematical Logic ( IF 0.3 ) Pub Date : 2021-06-04 , DOI: 10.1007/s00153-021-00777-4 J. L. Castiglioni , S. A. Celani , H. J. San Martín
中文翻译:
关于由订单生成的希尔伯特代数
更新日期:2021-06-05
Archive For Mathematical Logic ( IF 0.3 ) Pub Date : 2021-06-04 , DOI: 10.1007/s00153-021-00777-4 J. L. Castiglioni , S. A. Celani , H. J. San Martín
In this paper we study the variety of order Hilbert algebras, which is the equivalent algebraic semantics of the order implicational calculus of Bull (J Symb Logic, 29:33–34, 1964).
中文翻译:
关于由订单生成的希尔伯特代数
在本文中,我们研究了阶 Hilbert 代数的多样性,它是 Bull 阶蕴涵演算的等效代数语义 (J Symb Logic, 29:33–34, 1964)。