1. Abe, J.M.: On the Foundations of annotated logics (Portuguese). Ph.D. thesis, University of Sao Paulo, Brazil (1992)
2. Akama, S.: Definite description in Montague grammar. B.Sc. thesis, Science University of Tokyo, Japan (1984)
3. Akama:, S.: Constructive predicate logic with strong negation and model theory. Unpublished B.Sc. thesis, Science University of Tokyo, Japan (1984). Later published as [JP2]
4. Akama, S.: Constructive falsity: foundations and their applications to computer science. Ph.D. thesis, Keio University, Japan (1989)
5. da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logic $$P{\cal{T}}$$. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37, 139–148 (1991)