Publisher
Springer International Publishing
Reference25 articles.
1. Blok, W. J., & van Alten, C. J. (2002). The finite embeddability property for residuated lattices, pocrims and BCK-algebras. Algebra Universalis, 48(3), 253–271.
2. Blok, W. J., & van Alten, C. J. (2005). On the finite embeddability property for residuated ordered groupoids. Transactions of the American Mathematical Society, 357(10), 4141–4157.
3. Cardona, R., & Galatos, N. The finite embeddability property for non-commutative knotted extensions of RL. International Journal of Algebra and Computation. To appear
4. Ciabattoni, A., Galatos, N., & Terui, K. (2012). Algebraic proof theory for substructural logics: Cut-elimination and completions. Annals of Pure and Applied Logic, 163(3), 266–290.
5. Czelakowski, J. (2001). Protoalgebraic Logics, Trends in Logic (Vol. 10). Dordrecht: Kluwer.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献