1. Baaz, M., Fermüller, C.G., Salzer, G., Zach, R.: Labeled calculi and finite-valued logics. Stud. Log. 61(1), 7–33 (1998)
2. Avron, A., Zamansky, A.: Canonical signed calculi, non-deterministic matrices and cut-elimination. In: Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science, LFCS ’09, pp. 31–45. Springer, Berlin, Heidelberg (2009)
3. Gabbay, D.: Labelled Deductive Systems, Vol. 1. Oxford Logic Guides, Clarendon Press (1996)
4. Avron, A., Lev, I.: Non-deterministic multiple-valued structures. J. Log. Comput. 15(3), 241–261 (2005)
5. Lecture Notes in Computer Science;M Baaz,2012