1. Belnap, N.D.: Tonk, Plonk and Plink. Analysis 22(6), 130–134 (1962)
2. Brown, B.: Refining preservation. In: Tanaka, K., Berto, F., Mares, E., Paoli, F. (eds.) Paraconsistency: Logic and Applications, pp. 123–140. Springer, Dordrecht (2012)
3. Brown, B., Schotch, P.K.: Logic and Aggregation. J. Philos. Log. 28, 265–287 (1999)
4. Buisman, L., Goré, R.: A cut-free sequent calculus for bi-intuitionistic logic (2007).
arXiv:0704.1707v2
5. Carnap, R.: Formalization of Logic. Harvard University Press, Cambridge (1943)