1. Avron, A., The semantics and proof theory of linear logic, Theoretical Computer Science 57(2–3):161–184, 1988.
2. Bochvar, D.A., Ob odnom trechznac̆nom isc̆islenii i ego primenenii k analizu paradoksov klassiceskogo rassirennogo funkcionalnogo iscislenija, Matematiceskij Sbornik 4:287–308, 1938. [English translation by Merrie Bergmann: Bochvar, D.A., On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus, History and Philosophy of Logic 2:87–112, 1981].
3. Bonzio, S., J. Gil-Férez, F. Paoli, and L. Peruzzi, On paraconsistent weak Kleene logic: Axiomatisation and algebraic analysis, Studia Logica 105(2):253–297, 2017.
4. Ciuni, R., and M. Carrara, Semantical analysis of weak Kleene logics, Journal of Applied Non-Classical Logics 29(1):1–36, 2019.
5. Ciuni, R., T.M. Ferguson, and D. Szmuc, Logics based on linear orders of contaminating values, Journal of Logic and Computation 29(5):631–663, 2019.