Author:
Colacito Almudena,Metcalfe George
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Anderson, M.E., Feil, T.H.: Lattice-Ordered Groups: An Introduction. Springer, Heidelberg (1988)
2. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, Heidelberg (1981)
3. Ciabattoni, A., Galatos, N., Terui, K.: Algebraic proof theory for substructural logics: cut-elimination and completions. Ann. Pure Appl. Logic 163(3), 266–290 (2012)
4. Ciabattoni, A., Galatos, N., Terui, K.: Algebraic proof theory: hypersequents and hypercompletions. Ann. Pure Appl. Logic 168(3), 693–737 (2017)
5. Cignoli, R., D’Ottaviano, I.M.L., Mundici, D.: Algebraic foundations of many-valued reasoning. Kluwer, Berlin (1999)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献