FACULTY

Search Result

Basic data

KONDO Michiro

Mathematical logic laboratory 
Name KONDO Michiro
Related Course(s)JNJDJC
School Subjects Principally
in Charge of
Computer Mathematics
Data Structures and Algorithms
Discrete Mathematics
Position Professor
Field of Specialization Mathematical Logic
Area of Research Mathematics, Computer Science
Affiliated Societies The Mathematical Society of Japan
Career Summary 1989 Research Fellow of the Japan Society for the Promotion of Science, 1989 Lecturer at Nippon Institute of Technology, 1992 Lecturer at Toho University, 1995 Associate Professor at Shimane University, 2002 Professor at Tokyo Denki University 
Email

Selected Papers and Published Works

  • M. Kondo, "Algebraic properties of generalized rough sets," Fundamenta Informaticae, vol.94, pp.41-48, 2009.
  • M. Kondo, "Commutative residuated lattices with (x\odot y)' = x'vy'," Contributions to General Algebra, vol.19, pp.151–154, 2010.
  • W. Dzik, J. Jarvinen, and M. Kondo, "Intuitionistic propositional logic with Galois connections," Logic Journal of IGPL, vol.18, pp.837-858, 2010.
  • M. Kondo, "Filters on commutative residuated lattices," Integrated Uncertainty Management and Applications, Advances in Soft Computing, vol.68, pp.343-347, 2010.
  • M. Kondo, "Modal operators on commutative residuated lattices," Math. Slovaca, vol.61, pp.1-14, 2011.
  • M. Kondo, "Modal operators on commutative residuated lattices," Math. Slovaca, vol.61, pp.1-14, 2011.