Michiro Kondo

According to our database, Michiro Kondo authored at least 50 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Some results on state ideals in state residuated lattices.

Francis Woumfo, Blaise Blériot Koguep Njionou, Etienne Romuald Alomo Temgoua, Michiro Kondo

Soft Comput., January, 2024

Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras.

Jouni Järvinen, Michiro Kondo

Soft Comput., January, 2024

2023

On quotient algebras of normal eo-algebras by congruences.

Mayuka F. Kawaguchi, Michiro Kondo

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

2022

Properties of stabilizers in residuated lattices.

Michiro Kondo

Soft Comput., 2022

2021

On topologies defined by neighbourhood operators of approximation spaces.

Michiro Kondo

Int. J. Approx. Reason., 2021

Note on topologies induced by coverings of approximation spaces.

Michiro Kondo

Int. J. Approx. Reason., 2021

2020

n-Normal residuated lattices.

Saeed Rasouli, Michiro Kondo

Soft Comput., 2020

Multiplicative derivations and d-filters of commutative residuated lattices.

Michiro Kondo

Soft Comput., 2020

2017

Generalized state operators on residuated lattices.

Michiro Kondo

Soft Comput., 2017

2016

Some Properties of Generalized State Operators on Residuated Lattices.

Michiro Kondo, Mayuka F. Kawaguchi

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

Simple Characterizations of Perfect Residuated Lattices.

Michiro Kondo

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

2015

An Algebraic Aspect of Correspondences Between Implicational Fragment Logics and Fuzzy Logics.

Mayuka F. Kawaguchi, Michiro Kondo

J. Adv. Comput. Intell. Intell. Informatics, 2015

Construction of Associative Functions for Several Fuzzy Logics via the Ordinal Sum Theorem.

Mayuka F. Kawaguchi, Michiro Kondo

Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2015

Quotient Structures of Non-Commutative Residuated Lattices.

Michiro Kondo

Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, 2015

2014

Characterization of extended filters in residuated lattices.

Michiro Kondo

Soft Comput., 2014

Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets.

Wojciech Dzik, Jouni Järvinen, Michiro Kondo

Int. J. Approx. Reason., 2014

Characterizing intermediate tense logics in terms of Galois connections.

Wojciech Dzik, Jouni Järvinen, Michiro Kondo

Log. J. IGPL, 2014

A correspondence between implicational fragment logics and fuzzy logics.

Mayuka F. Kawaguchi, Michiro Kondo

Proceedings of the 2014 IEEE International Conference on Granular Computing, 2014

2013

Simple characterization of strict residuated lattices with an involutive negation.

Michiro Kondo

Soft Comput., 2013

Intuitionistic modal logic with a galois connection has the finite model property¹.

Wojciech Dzik, Jouni Järvinen, Michiro Kondo

Log. J. IGPL, 2013

Join Operations on Commutative BCK-Algebras with Condition (S).

Mayuka F. Kawaguchi, Kouta Minami, Michiro Kondo

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

2012

Prime Filters on Residuated Lattices.

Michiro Kondo, Esko Turunen

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

Modal Operators on Non-commutative Residuated Lattices.

Michiro Kondo, Mayuka F. Kawaguchi

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

2011

Weak Uninorm Based Logic and Its Filter Theory.

Michiro Kondo, Mayuka F. Kawaguchi, Masaaki Miyakoshi, Osamu Watari

Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

Some Types of Filters in Hoops.

Michiro Kondo

Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

Armstrong systems and Galois connections.

Michiro Kondo, Sho Soneda, Bunpei Yoshii

Proceedings of the 2011 IEEE International Conference on Granular Computing, 2011

2010

Intuitionistic propositional logic with Galois connections.

Wojciech Dzik, Jouni Järvinen, Michiro Kondo

Log. J. IGPL, 2010

Filters on Commutative Residuated Lattices.

Michiro Kondo

Proceedings of the Integrated Uncertainty Management and Applications [revised papers from the International Symposium on Integrated Uncertainty Management and Applications, 2010

2009

Algebraic Properties of Generalized Rough Sets.

Michiro Kondo

Fundam. Informaticae, 2009

2008

On bounded lattices satisfying Elkan's law.

Michiro Kondo, Wieslaw A. Dudek

Soft Comput., 2008

Filter theory of BL algebras.

Michiro Kondo, Wieslaw A. Dudek

Soft Comput., 2008

Logics from Galois connections.

Jouni Järvinen, Michiro Kondo, Jari Kortelainen

Int. J. Approx. Reason., 2008

2007

Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points.

Jouni Järvinen, Michiro Kondo, Jari Kortelainen

Fundam. Informaticae, 2007

A Logic Determined by Commutative Residuated Lattices.

Michiro Kondo, Osamu Watari, Mayuka F. Kawaguchi, Masaaki Miyakoshi

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006

Topological Structures of Rough Sets Induced by Equivalence Relations.

Michiro Kondo, Wieslaw A. Dudek

J. Adv. Comput. Intell. Intell. Informatics, 2006

On the structure of generalized rough sets.

Michiro Kondo

Inf. Sci., 2006

EVALPSN Based Intelligent Drivers' Model.

Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

Logic Determined by Boolean Algebras with Conjugate.

Michiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II.

Jair Minoro Abe, Cláudio Rodrigo Torres, Germano Lambert-Torres, Kazumi Nakamatsu, Michiro Kondo

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

On Topologies Defined by Binary Relations in Rough Sets.

Michiro Kondo

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2006

2005

Algebraic Approach to Generalized Rough Sets.

Michiro Kondo

Proceedings of the Rough Sets, 2005

On topological properties of generalized rough sets.

Michiro Kondo

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Partially Ordered Set with Residuated t-norm.

Michiro Kondo, Mayuka F. Kawaguchi

Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

Algebraic Transfer Principle in Fuzzy Theory.

Michiro Kondo

Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

2004

On the class of QS-algebras.

Michiro Kondo

Int. J. Math. Math. Sci., 2004

Characterization Theorem of Lattice Implication Algebra.

Michiro Kondo

Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 2004

2002

On the Structures of Weak Interlaced Bilattice.

Michiro Kondo

Proceedings of the 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), 2002

1995

Approximation Logic and Strong Bunge Algebra.

Michiro Kondo

Notre Dame J. Formal Log., 1995

Classification of Weak DeMorgan Algebras.

Michiro Kondo

Notre Dame J. Formal Log., 1995

1989

A1 is not a conservative extension of S4 but of S5.

Michiro Kondo

J. Philos. Log., 1989