1. A. R. Anderson and N. D. Belnap, Entailment: the Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, NJ 1975.
2. Jean-Yves Béziau, ‘Classical Negation Can Be Expressed by One of its Halves’s, Logic Journal of the IGPL
7 (1999), 145–151.
3. R. J. Bignall and M. Spinks, ‘Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality’, Proceedings of the 28th IEEE Symposium on Multiple-Valued Logics 1998, pp. 102–107.
4. Wim J. Blok and Don L. Pigozzi, ‘Algebraizable Logics’, Memoirs of the American Math. Soc. 77 (1989), #396.
5. Stephen Blamey, ‘Partial Logic’, pp. 261–353 in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Second Edition, Vol. 5, Kluwer, Dordrecht 2002.