1. Analytic calculi for monoidal t-norm based logic;Baaz;Fundamenta Informaticae,2004
2. An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning;Burrieza;International Journal of Computer Mathematics,2009
3. Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras;Cabrer;Central European Journal of Mathematics,2006
4. L.M. Cabrer, S.A. Celani, Kripke semantics for monoidal t-norm based logics MTL and IMTL, in: Centre for Logic, Epistemology and the History of Science, vol. 8(6), 2008, pp. 1–3.
5. A. Ciabattoni, C.G. Fermüller, Hypersequents as a uniform framework for Urquhart's C, MTL and related logics, in: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, Warsaw, Poland, 2001, pp. 227–232.