Mitio Takano

According to our database, Mitio Takano authored at least 12 papers between 1985 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

A semantical analysis of cut-free calculi for modal logics.

Mitio Takano

Reports Math. Log., 2018

2016

Gentzenization of Trilattice Logics.

Mitio Takano

Stud Logica, 2016

2002

Strong completeness of lattice-valued logic.

Mitio Takano

Arch. Math. Log., 2002

1994

Subformula Property in Many-Valued Modal Logics.

Mitio Takano

J. Symb. Log., 1994

1992

Cut-Free Systems for Three-Valued Modal Logics.

Mitio Takano

Notre Dame J. Formal Log., 1992

1991

Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.

Mitio Takano

Math. Log. Q., 1991

1990

Intermediate Predicate Logics Determined by Ordinals.

Pierluigi Minari, Mitio Takano, Hiroakira Ono

J. Symb. Log., 1990

1987

Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic.

Mitio Takano

Stud Logica, 1987

Ordered sets R and Q as bases of Kripke models.

Mitio Takano

Stud Logica, 1987

1986

An Interpolation Theorem in Many-Valued Logic.

Masazumi Hanazawa, Mitio Takano

J. Symb. Log., 1986

1985

A semantical investigation into Leśniewski's axiom of his ontology.

Mitio Takano

Stud Logica, 1985

Completeness of a cut-free calculus with equality and function constants.

Mitio Takano

Arch. Math. Log., 1985