1. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Hodges, W., et al. (eds.) Logic: From Foundations to Applications. Proc. Logic Colloquium, Keele, UK, pp. 1–32 (1993, 1996)
2. Lecture Notes in Computer Science;M. Baaz,2000
3. Ciabattoni, A., Galatos, N., Terui, K.: MacNeille Completions of FL-algebras. Algebra Universalis 66(4), 405–420 (2011)
4. Ciabattoni, A., Galatos, N., Terui, K.: From axioms to analytic rules in nonclassical logics. In: Proceedings of LICS 2008, pp. 229–240 (2008)
5. Ciabattoni, A., Esteva, F., Godo, L.: T-norm based logics with n-contraction. Neural Network World 12(5), 441–453 (2002)