dblp.uni-trier.dewww.uni-trier.de

Mitio Takano

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
5EEMitio 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)

Coauthor Index

1Masazumi Hanazawa [1]
2Pierluigi Minari [2]
3Hiroakira Ono [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)