1. Almukdad, A., & Nelson, D. (1984). Constructible falsity and inexact predicates. Journal of Symbolic Logic, 49(1), 231–233.
2. Anderson, A.R., Belnap, N.D., & et al. (1975). Entailment: the logic of relevance and necessity, Vol. 1, Princeton University Press.
3. Aoyama, H. (2003). On a weak system of sequent calculus. Journal of Logical Philosophy, 3, 29–37.
4. Aoyama, H. (2004). LK, LJ, dual intuitionistic logic, and quantum logic. Notre Dame Journal of Formal Logic, 45(4), 193–213.
5. Belnap, N.D. (1977). Modern uses of multiple-valued logic. In Epstein, G., & Dunn, J.M. (Eds.), Useful four-valued logic, A (pp. 7–37). Dordrecht: Reidel.