Author:
Galatos Nikolaos,Jipsen Peter
Publisher
Springer International Publishing
Reference23 articles.
1. Baaz, M.: Infinite-valued Gödel logics with 0-1-projections and relativizations. In: Hájek, P. (ed.) Lecture Notes Logic, vol. 6, pp. 23–33. Springer, Berlin (1996)
2. Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. Algebra Comput. 13(4), 437–461 (2003)
3. Brotherston, J., Calcagno, C.: Classical BI: its semantics and proof theory. Log. Methods Comput. Sci. 6(3), 42 (2010)
4. Di Nola, A., Grigolia, R., Vitale, G.: On the variety of Gödel MV-algebras. Soft Comput. (2019). https://doi.org/10.1007/s00500-019-04235-5
5. Oxford Logic Guides;DM Gabbay,1999
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献