1. Metcalfe, G., Ciabattoni, A., Montagna, F.: Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. 161(3), 369–389 (2010)
2. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Hodges, W., Hyland, M., Steinhorn, C., Truss, J. (eds.) Proceedings of Logic Colloquium, Logic: From Foundations to Applications, Keele, UK, 1993, pp. 1–32. Oxford University Press, New York (1996)
3. Baaz, M., Ciabattoni, A., Fermüller, C.G.: Hypersequent calculi for Gödel logics - a survey. J. Logic Comput. 13, 1–27 (2003)
4. K. Brünnler. Nested sequents (habilitationsschrift) (2010)
5. Ciabattoni, A., Gabbay, D.M., Olivetti, N.: Cut-free proof systems for logics of weak excluded middle. Soft Comput. 2(4), 147–156 (1998)