1. Anderson, A.R., Belnap, N.D.: 1975, Entailment: the Logic of Relevance and Necessity 1, Princeton University Press, Princeton.
2. Avron, A.: 1993, ‘Gentzen-type Systems, Resolution and Tableaux’, Journal of Automated Reasoning 10, pp. 265–281.
3. Belnap, N.D.: 1982, ‘Display Logic’, Journal of Philosophical Logic 11, pp. 375–417.
4. Bencivenga, E.: 1986, ‘Free Logics’, in D. Gabbay, F. Guenthner (eds.): Handbook of Philosophical Logic 3, D. Reidel Publishing Company, Dordrecht, pp. 373–426.
5. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, new series;EW Beth,1955