1. G. Allwein and J. M. Dunn. Kripke models for linear logic. The Journal of Symbolic Logic, 58, 514–545, 1993.
2. A. R. Anderson and N. D. Belnap, eds. Entailment: The Logic of Relevance and Necessity. Vol. 1. Princeton University Press, Princeton, 1975.
3. A. R. Anderson, N. D. Belnap and J. M. Dunn. Entailment: The Logic of Relevance and Necessity. Vol. 2. Princeton University Press, Princeton, 1992.
4. F. Asenjo. A calculus of antinomies. Notre Dame Journal of Formal Logic, VII, 103–105, 1966.
5. N. D. Belnap. A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein, eds. D. Reidel Publishing Co. Dordrecht, 1977.