1. Anellis, I.H.: Forty years of “unnatural” natural deduction and quantification. A history of first-order systems of natural deduction from Gentzen to Copi. Mod. Log. 2(2), 113–152 (1991)
2. Anderson, A.R., Belnap, N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (1975)
3. Barth, E.M., Krabbe, E.C.: From Axiom to Dialogue. Walter de Gruyter, Berlin (1982)
4. Bencivenga, E.: Free logics. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 373–426. Reidel Publishing Company, Dordrecht (1986)
5. Bencivenga, E.: Jaśkowski’s universally free logic. Stud. Logica 102(6), 1095–1102 (2014)