Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference19 articles.
1. Ardeshir M., Ruitenburg W.: Basic propositional calculus I. MLQ Math. Log. Q. 44, 317–343 (1998)
2. Balbes, R., Dwinger, Ph.: Distributive Lattices. University of Missouri Press (1974)
3. Bezhanishvili N., Gehrke M.: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Log. Methods Comput. Sci. 7, 1–24 (2011)
4. Blok, W.J., Pigozzi, D.: Algebraizable logics. Mem. Amer. Math. Soc. 77, no. 396 (1989)
5. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, New York (1981)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献