1. Annellis, I.: From semantic tableaux to Smullyan trees: the history of the falsifiability tree method. Modern Logic 1(1), 36–69 (1990)
2. Bova, S., Montagna, F.: Proof Search in Hájek’s Basic Logic. ACM Transactions on Computational Logic 9(3), Article 21 (June 2008)
3. Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic Fuzzy Logic is the logic of continuous t-norms and their residua. Soft Computing 4, 106–112 (2000)
4. Cintula, P., Hájek, P., Noguera, C.: Handbook of Mathematical Fuzzy Logic, vols. 1 & 2. College Publications (2011)
5. Fitting, M.: Introduction. In: D’Agostino, M., Gabbay, D.M., Hähnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 1–44. Kluwer Academic Publishers (1999)