1. Avron, A., Zamansky, A.: Non-deterministic multi-valued logics–a tutorial. In: Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL. IEEE Computer Society, pp. 53–60 (2010)
2. Baaz, M., Fermüller, C. G., Zach, R.: Systematic construction of natural deduction systems for many-valued logics. In: Proceedings of the 23rd IEEE International Symposium on Multiple-Valued Logic, ISMVL, IEEE Computer Society, pp. 208–213 (1993)
3. Baaz, M., Lahav, O., Zamansky, A.: Finite-valued semantics for canonical labelled calculi. J. Autom. Reason. 51, 401–430 (2013)
4. Francez, N.: Harmony in multiple-conclusion natural-deduction. Log Univ 8, 215–259 (2014)
5. Francez, N., Kaminski, M.: On poly-logistic natural deduction for finitely-valued propositional logics. J. Appl. Log. 6, 255–289 (2019)