Mitio Takano

Publication Activity (10 Years)

Years Active: 1985-2018
Publications (10 Years): 2

Top Topics

Knowledge Representation Formalisms

Top Venues

Reports Math. Log.

Publications

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