Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Michiro Kondo
Map detail
Michiro Kondo6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichiro KondoAMichiro KondoResearcherRelational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebrasWRelational corresponden...preprint / 2023Intuitionistic logic with two Galois connections combined with Fischer Servi axiomsWIntuitionistic logic wi...preprint / 2012Representing distributive lattices with Galois connections in terms of rough setsWRepresenting distributi...preprint / 2013Intuitionistic logic with a Galois connection has the finite model propertyWIntuitionistic logic wi...preprint / 2011Characterizing intermediate tense logics in terms of Galois connectionsWCharacterizing intermed...preprint / 2014
Person5 links

Michiro Kondo

Researcher