Mitio Takano

发表

Subformula Property in Many-Valued Modal Logics

Mitio Takano, 1994, J. Symb. Log..

Finite Model Property for an Intuitionistic Modal Logic

Mitio Takano, 2003 .

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

Mitio Takano, 1987, Stud Logica.

Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau

Mitio Takano, 1986 .

Strong completeness of lattice-valued logic

Mitio Takano, 2002, Arch. Math. Log..

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

Mitio Takano, 1985, Stud Logica.

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

Mitio Takano, 1985, Arch. Math. Log..

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

Mitio Takano, 1991, Math. Log. Q..

Cut-Free Systems for Three-Valued Modal Logics

Mitio Takano, 1992, Notre Dame J. Formal Log..

Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order

Mitio Takano, 1988 .

A Sequent Calculus for the Lesniewskian Modal Logic : Dedicated for the memory of the late Professor S. Maehara

Mitio Takano, 1994 .

Gentzenization of Trilattice Logics

Mitio Takano, 2016, Stud Logica.

An Interpolation Theorem in Many-Valued Logic

Mitio Takano, Masazumi Hanazawa, 1986, J. Symb. Log..

Ordered sets R and Q as bases of Kripke models

Mitio Takano, 1987, Stud Logica.

Interpolation theorem in Many-valued logics with designated values

Mitio Takano, 1989 .

Another proof of the strong completeness of the intuitionistic fuzzy logic

Mitio Takano, M. Takano, 1987 .

Intermediate predicate logics determined by ordinals

Mitio Takano, Hiroakira Ono, Pierluigi Minari, 1990, Journal of Symbolic Logic.

Proof theory for minimal quantum logic: A remark

Mitio Takano, 1995 .