Rchr
J-GLOBAL ID:200901036687313022   Update date: Dec. 18, 2024

KONDO Michiro

コンドウ ミチロウ | KONDO Michiro
Affiliation and department:
Job title: Professor
Research theme for competitive and other funds  (2):
  • 2015 - 2018 非可換剰余束におけるstateの研究
  • 2012 - 2015 Substructural logic with Galois connection
Papers (85):
  • On weak extended order algebras with adjoint pairs and Galois pairs. Journal of Algebraic Systems. 2023
  • M. Kondo. On L-fuzzy approximation operators and L-fuzzy relations on residuated lattices. Journal of Algebraic Hyperstructures and Logical Algebras. 2023
  • J. Jarvinen and M. Kondo. Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras. Soft Computing. 2023. 28. 903-916
  • M. F. Kawaguchi and M. Kondo. On quotient algebras of normal eo-algebras by congruences. Proceedings of IEEE 53rd International Symposium on Multiple-Valued Logic. 2023. 117-121
  • Properties of stabilizers in residuated lattices. Soft Computing. 2022. 26. 6981-6988
more...
MISC (1):
  • Kleene algebra and modal logic. Mem.Fac.Sci. Shimane Univ.,. 2001
Books (2):
  • n-Normal residuated lattices
    Springer 2019
  • On topologies defined by binary relations in rough sets
    Springer 2019
Lectures and oral presentations  (16):
  • Algebraic properties of L-fuzzy relations on residuated lattices
    (The 17th International Conference of Young Algebraists in Thailand (ICYAT 2024) 2024)
  • On quotient algebras of normal extended order algebras
    (AAA104 2023)
  • Note on quotient normal eo-algebras
    (RIMS研究集会「群・環・言語と計算機科学の周辺領域」 2023)
  • Structure theory of extended-order algebras
    (Workshop on Lattice Theory and Related Topics 2023)
  • Filter theory of residuated lattices
    (Workshop on Lattice Theory and Related Topics 2023)
more...
Work history (1):
  • 2022/04 - 現在 Tokyo Denki University School of System Design and Technology Department of Mathematics Professor
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page