1. Abe, J.M.: On the Foundations of Annotated Logics (in Portuguese), Ph.D. Thesis, University of São Paulo, Brazil (1992)
2. Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics. Springer, Heidelberg (2016)
3. Akama, S.: Resolution in constructivism. Logique et Analyse 120, 385–399 (1987)
4. Akama, S.: Constructive predicate logic with strong negation and model theory. Notre Dame J. Formal Logic 29, 18–27 (1988)
5. Akama, S.: On the proof method for constructive falsity. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34, 385–392 (1988)