1. M. Baaz and G. Metcalfe, “Herbrand’s theorem, Skolemization and proof systems for first-order Lukasiewicz logic,” J. Logic Comput. 20, 35 (2010).
2. D. Berend and T. Tassa, “Improved bounds on Bell numbers and on moments of sums of random variables,” Probab.Math. Statist. 30, 185 (2010).
3. M. Bongini, A. Ciabattoni, and F. Montagna, “Proof search and Co-NP completeness for many-valued logics,” Fuzzy Sets and Systems 292, 130 (2016).
4. A. Ciabattoni, C. G. Fermüller, and G. Metcalfe, “Uniform rules and dialogue games for fuzzy logics,” in Logic for Programming, Artificial Intelligence, and Reasoning, 496 (Springer-Verlag, Berlin, 2005).
5. P. Cintula, P. Hájek, and C. Noguera (Eds.), Handbook of Mathematical Fuzzy Logic, Vol. 2 (College Publications, London, 2011).