Mitio Takano

12 papers Journal 12
YearRankTypeTitle / Venue / Authors
2018 J jnl
A semantical analysis of cut-free calculi for modal logics.
Reports Math. Log.
Mitio Takano
2016 J jnl
Gentzenization of Trilattice Logics.
Stud Logica
Mitio Takano
2002 J jnl
Strong completeness of lattice-valued logic.
Arch. Math. Log.
Mitio Takano
1994 J jnl
Subformula Property in Many-Valued Modal Logics.
J. Symb. Log.
Mitio Takano
1992 J jnl
Cut-Free Systems for Three-Valued Modal Logics.
Notre Dame J. Formal Log.
Mitio Takano
1991 J jnl
Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.
Math. Log. Q.
Mitio Takano
1990 J jnl
Intermediate Predicate Logics Determined by Ordinals.
J. Symb. Log.
Pierluigi Minari, Mitio Takano, Hiroakira Ono
1987 J jnl
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic.
Stud Logica
Mitio Takano
1987 J jnl
Ordered sets R and Q as bases of Kripke models.
Stud Logica
Mitio Takano
1986 J jnl
An Interpolation Theorem in Many-Valued Logic.
J. Symb. Log.
Masazumi Hanazawa, Mitio Takano
1985 J jnl
A semantical investigation into Leśniewski's axiom of his ontology.
Stud Logica
Mitio Takano
1985 J jnl
Completeness of a cut-free calculus with equality and function constants.
Arch. Math. Log.
Mitio Takano