Author:
Lucas Christophe,Mio Matteo
Publisher
Springer International Publishing
Reference18 articles.
1. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: From Foundations to Applications: European Logic Colloquium, pp. 1–32. Oxford University Press (1996)
2. Baker, K.A.: Free vector lattices. Can. J. Math. 20, 58–66 (1968)
3. Bleier, R.D.: Free vector lattices. Trans. Am. Math. Soc. 176, 73–87 (1973)
4. Boldo, S., Lelay, C., Melquiond, G.: Coquelicot: a user-friendly library of real analysis for coq. Math. Comput. Sci. 9(1), 41–62 (2014). https://doi.org/10.1007/s11786-014-0181-1
5. Denisa, D., Metcalfe, G., Schnüriger, L.: A real-valued modal logic. Log. Methods Comput. Sci. 14(1), 10 (2018). https://doi.org/10.23638/LMCS-14(1:10)2018
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献