Author:
Bezhanishvili Nick,de Jongh Dick,Tzimoulis Apostolos,Zhao Zhiguang
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Bellissima, F.: Finitely generated free Heyting algebras. J. Symbolic Logic 51, 152–165 (1986)
2. Bezhanishvili, G., Bezhanishvili, N.: An algebraic approach to canonical formulas: intuitionistic case. Rev. Symbolic Logic 2(3), 517–549 (2009)
3. Bezhanishvili, G., Moraschini, T., Raftery, J.: Epimorphisms in varieties of residuated structures (2016, submitted)
4. Bezhanishvili, N.: Lattices of intermediate and cylindric modal logics. Ph.D. thesis, University of Amsterdam (2006)
5. Lecture Notes in Computer Science;N Bezhanishvili,2015
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献