| |
| 2002 | ||
|---|---|---|
| 5 | EE | Mitio Takano: Strong completeness of lattice-valued logic. Arch. Math. Log. 41(5): 497-505 (2002) |
| 1994 | ||
| 4 | Mitio Takano: Subformula Property in Many-Valued Modal Logics. J. Symb. Log. 59(4): 1263-1273 (1994) | |
| 1992 | ||
| 3 | Mitio Takano: Cut-Free Systems for Three-Valued Modal Logics. Notre Dame Journal of Formal Logic 33(3): 359-368 (1992) | |
| 1990 | ||
| 2 | Pierluigi Minari, Mitio Takano, Hiroakira Ono: Intermediate Predicate Logics Determined by Ordinals. J. Symb. Log. 55(3): 1099-1124 (1990) | |
| 1986 | ||
| 1 | Masazumi Hanazawa, Mitio Takano: An Interpolation Theorem in Many-Valued Logic. J. Symb. Log. 51(2): 448-452 (1986) | |
| 1 | Masazumi Hanazawa | [1] |
| 2 | Pierluigi Minari | [2] |
| 3 | Hiroakira Ono | [2] |