1. [1] Anderson, A. R., and N. D. Belnap, Jr., Entailment, Vol. 1: The Logic of Relevance and Necessity, Princeton University Press, Princeton, 1975.
2. [2] Cook, R. T., and J. Cogburn, “What negation is not: Intuitionism and ‘$0=1$,’” Analysis, vol. 60 (2000), pp. 5–12.
3. [3] Johansson, I., “Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus,” Compositio Mathematica, vol. 4 (1937), pp. 119–36.
4. [4] Smiley, T., “The independence of connectives,” Journal of Symbolic Logic, vol. 27 (1962), pp. 426–36.
5. [5] Tennant, N., “Entailment and proofs,” Proceedings of the Aristotelian Society, vol. 79 (1978/1979), pp. 167–89.