1. Anderson, A.R., Belnap, N.D., Jr., Dunn, J.M.: Entailment, the Logic of Relevance and Necessity, vol. II. Princeton University Press, Princeton (1992)
2. Avron, A., Ben-Naim, J., Konikowska, B.: Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Logica Universalis 1(1), 41–70 (2007). https://doi.org/10.1007/s11787-006-0003-6
3. Avron, A., Konikowska, B., Zamansky, A.: Cut-free sequent calculi for C-systems with generalized finite-valued semantics. J. Log. Comput. 23(3), 517–540 (2013). https://doi.org/10.1093/logcom/exs039
4. Belnap, N.D., Jr.: Entailment and relevance. J. Symb. Log. 25(2), 144–146 (1960)
5. Belnap, N.D., Jr.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple-Valued Logic, pp. 8–37. D. Reidel Publishing Co., Dordrecht (1977)