Completeness of a cut-free calculus with equality and function constants. - Mitio Takano (Arch. Math. Log., 1985)

A semantical investigation into Leśniewski's axiom of his ontology. - Mitio Takano (Stud Logica, 1985)

An Interpolation Theorem in Many-Valued Logic. - Masazumi Hanazawa; Mitio Takano (J. Symb. Log., 1986)

Ordered sets R and Q as bases of Kripke models. - Mitio Takano (Stud Logica, 1987)

Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic. - Mitio Takano (Stud Logica, 1987)

Intermediate Predicate Logics Determined by Ordinals. - Pierluigi Minari; Mitio Takano; Hiroakira Ono (J. Symb. Log., 1990)

Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology. - Mitio Takano (Math. Log. Q., 1991)

Cut-Free Systems for Three-Valued Modal Logics. - Mitio Takano (Notre Dame J. Formal Log., 1992)

Subformula Property in Many-Valued Modal Logics. - Mitio Takano (J. Symb. Log., 1994)

Strong completeness of lattice-valued logic. - Mitio Takano (Arch. Math. Log., 2002)

Gentzenization of Trilattice Logics. - Mitio Takano (Stud Logica, 2016)

A semantical analysis of cut-free calculi for modal logics. - Mitio Takano (Reports Math. Log., 2018)