|
Search the dblp DataBase
Mitio Takano:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Masazumi Hanazawa, Mitio Takano
An Interpolation Theorem in Many-Valued Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1986, v:51, n:2, pp:448-452 [Journal]
- Pierluigi Minari, Mitio Takano, Hiroakira Ono
Intermediate Predicate Logics Determined by Ordinals. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1990, v:55, n:3, pp:1099-1124 [Journal]
- Mitio Takano
Subformula Property in Many-Valued Modal Logics. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1994, v:59, n:4, pp:1263-1273 [Journal]
- Mitio Takano
Cut-Free Systems for Three-Valued Modal Logics. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:3, pp:359-368 [Journal]
Strong completeness of lattice-valued logic. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|