1. Yices 2.2
2. Neural networks and rational Lukasiewicz logic
3. Gamrath, G. , Anderson, D. , Bestuzheva, K. , Chen, W.-K. , Eifler, L. , Gasse, M. , Gemander, P. , Gleixner, A. , Gottwald, L. , Halbig, K. , Hendel, G. , Hojny, C. , Koch, T. , Bodic, P. L. , Maher, S. J. , Matter, F. , Miltenberger, M. , Mühmer, E. , Müller, B. , Pfetsch, M. , Schlösser, F. , Serrano, F. , Shinano, Y. , Tawfik, C. , Vigerske, S. , Wegscheider, F. , Weninger, D. and Witzig, J. (2020). The SCIP optimization suite 7.0. Technical report, Optimization Online.
4. A theorem about infinite-valued sentential logic
5. Di Nola, A. and Leuştean, I. (2011). Riesz MV-algebras and their logic. In: Proceedings of the 7th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-11), Atlantis Press, 140–145.