Concepedia

Michiro Kondo

MK

15

Publications

670

Citations

12

H-Index

1999

Active since

Affiliations

Tokyo Denki University(Current)

University of Turku

Turku Centre for Computer Science

University of Silesia in Katowice

Michiro Kondo is an author at Tokyo Denki University specializing in automated reasoning, discrete mathematics, and formal methods.

Top concepts

Automated ReasoningDiscrete MathematicsEngineeringFuzzy LogicFormal MethodsComputer ScienceRepresentation TheoryFiltersSemanticsFunctional Analysis

Publications per year

1999–2014

15

Publications

15

On the structure of generalized rough sets

Michiro Kondo · Information Sciences · 2005 · 307 citations

Information Granule, Extremal Set Theory, Discrete Mathematics +2

Filter theory of BL algebras

Michiro Kondo, Wiesław A. Dudek · Soft Computing · 2007 · 100 citations

Representation Theory, Quantum Algebra, Topological Algebra +2

On the Transfer Principle in Fuzzy Theory

Michiro Kondo, Wiesław A. Dudek · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 2005 · 59 citations · Full text

Logics from Galois connections

Jouni Järvinen, Michiro Kondo, Jari Kortelainen · International Journal of Approximate Reasoning · 2008 · 31 citations

Algebraic Logic, Non-classical Logic, Automated Reasoning +2

Topological Structures of Rough Sets Induced by Equivalence Relations

Michiro Kondo, Wiesław A. Dudek · Journal of Advanced Computational Intelligence and Intelligent Informatics · 2006 · 21 citations · Full text

Topological Properties, Set-theoretic Topology, Fundamental Topological Properties +4

Rows per page

1–5 of 15