Michiro Kondo

54 papers Misc 2Journal 28Unranked 24
YearRankTypeTitle / Venue / Authors
2026 J jnl
Algebraic properties of L-fuzzy approximation operators on extended residuated lattices.
Soft Comput.
Michiro Kondo
2024 — conf
L-fuzzy relations on residuated lattices.
ISMVL
Michiro Kondo
2024 J jnl
Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras.
Soft Comput.
Jouni Järvinen, Michiro Kondo
2024 J jnl
Some results on state ideals in state residuated lattices.
Soft Comput.
Francis Woumfo, Blaise Blériot Koguep Njionou, Etienne Romuald Alomo Temgoua, Michiro Kondo
2023 — conf
On quotient algebras of normal eo-algebras by congruences.
ISMVL
Mayuka F. Kawaguchi, Michiro Kondo
2023 J jnl
Relational correspondences for L-fuzzy rough approximations defined on De~Morgan Heyting algebras.
CoRR
Jouni Järvinen, Michiro Kondo
2022 J jnl
Properties of stabilizers in residuated lattices.
Soft Comput.
Michiro Kondo
2021 J jnl
Note on topologies induced by coverings of approximation spaces.
Int. J. Approx. Reason.
Michiro Kondo
2021 J jnl
On topologies defined by neighbourhood operators of approximation spaces.
Int. J. Approx. Reason.
Michiro Kondo
2020 J jnl
Multiplicative derivations and d-filters of commutative residuated lattices.
Soft Comput.
Michiro Kondo
2020 J jnl
n-Normal residuated lattices.
Soft Comput.
Saeed Rasouli, Michiro Kondo
2019 — conf
On Topologies Defined by Binary Relations in Rough Sets.
IJCRS
Michiro Kondo
2017 J jnl
Generalized state operators on residuated lattices.
Soft Comput.
Michiro Kondo
2016 — conf
Simple Characterizations of Perfect Residuated Lattices.
ISMVL
Michiro Kondo
2016 — conf
Some Properties of Generalized State Operators on Residuated Lattices.
ISMVL
Michiro Kondo, Mayuka F. Kawaguchi
2015 J jnl
An Algebraic Aspect of Correspondences Between Implicational Fragment Logics and Fuzzy Logics.
J. Adv. Comput. Intell. Intell. Informatics
Mayuka F. Kawaguchi, Michiro Kondo
2015 — conf
Construction of Associative Functions for Several Fuzzy Logics via the Ordinal Sum Theorem.
IUKM
Mayuka F. Kawaguchi, Michiro Kondo
2015 — conf
Quotient Structures of Non-Commutative Residuated Lattices.
ISMVL
Michiro Kondo
2014 Misc conf
A correspondence between implicational fragment logics and fuzzy logics.
GrC
Mayuka F. Kawaguchi, Michiro Kondo
2014 J jnl
Characterization of extended filters in residuated lattices.
Soft Comput.
Michiro Kondo
2014 J jnl
Characterizing intermediate tense logics in terms of Galois connections.
Log. J. IGPL
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
2014 J jnl
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets.
Int. J. Approx. Reason.
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
2013 J jnl
Intuitionistic modal logic with a galois connection has the finite model property
Log. J. IGPL
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
2013 — conf
Join Operations on Commutative BCK-Algebras with Condition (S).
ISMVL
Mayuka F. Kawaguchi, Kouta Minami, Michiro Kondo
2013 J jnl
Simple characterization of strict residuated lattices with an involutive negation.
Soft Comput.
Michiro Kondo
2012 — conf
Modal Operators on Non-commutative Residuated Lattices.
ISMVL
Michiro Kondo, Mayuka F. Kawaguchi
2012 — conf
Prime Filters on Residuated Lattices.
ISMVL
Michiro Kondo, Esko Turunen
2011 Misc conf
Armstrong systems and Galois connections.
GrC
Michiro Kondo, Sho Soneda, Bunpei Yoshii
2011 — conf
Some Types of Filters in Hoops.
ISMVL
Michiro Kondo
2011 — conf
Weak Uninorm Based Logic and Its Filter Theory.
ISMVL
Michiro Kondo, Mayuka F. Kawaguchi, Masaaki Miyakoshi, Osamu Watari
2010 — conf
Filters on Commutative Residuated Lattices.
IUM
Michiro Kondo
2010 J jnl
Intuitionistic propositional logic with Galois connections.
Log. J. IGPL
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
2009 J jnl
Algebraic Properties of Generalized Rough Sets.
Fundam. Informaticae
Michiro Kondo
2008 J jnl
Filter theory of BL algebras.
Soft Comput.
Michiro Kondo, Wieslaw A. Dudek
2008 J jnl
Logics from Galois connections.
Int. J. Approx. Reason.
Jouni Järvinen, Michiro Kondo, Jari Kortelainen
2008 J jnl
On bounded lattices satisfying Elkan's law.
Soft Comput.
Michiro Kondo, Wieslaw A. Dudek
2007 — conf
A Logic Determined by Commutative Residuated Lattices.
EUSFLAT Conf. (2)
Michiro Kondo, Osamu Watari, Mayuka F. Kawaguchi, Masaaki Miyakoshi
2007 J jnl
Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points.
Fundam. Informaticae
Jouni Järvinen, Michiro Kondo, Jari Kortelainen
2006 — conf
EVALPSN Based Intelligent Drivers' Model.
KES (2)
Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe
2006 — conf
Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II.
KES (2)
Jair Minoro Abe, Cláudio Rodrigo Torres, Germano Lambert-Torres, Kazumi Nakamatsu, Michiro Kondo
2006 — conf
Logic Determined by Boolean Algebras with Conjugate.
KES (2)
Michiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe
2006 — conf
On Topologies Defined by Binary Relations in Rough Sets.
Artificial Intelligence and Applications
Michiro Kondo
2006 J jnl
On the structure of generalized rough sets.
Inf. Sci.
Michiro Kondo
2006 J jnl
Topological Structures of Rough Sets Induced by Equivalence Relations.
J. Adv. Comput. Intell. Intell. Informatics
Michiro Kondo, Wieslaw A. Dudek
2005 — conf
Algebraic Approach to Generalized Rough Sets.
RSFDGrC (1)
Michiro Kondo
2005 — conf
Algebraic Transfer Principle in Fuzzy Theory.
EUSFLAT Conf.
Michiro Kondo
2005 — conf
On topological properties of generalized rough sets.
LAPTEC
Michiro Kondo
2005 — conf
Partially Ordered Set with Residuated t-norm.
ISMVL
Michiro Kondo, Mayuka F. Kawaguchi
2004 — conf
Characterization Theorem of Lattice Implication Algebra.
ISMVL
Michiro Kondo
2004 J jnl
On the class of QS-algebras.
Int. J. Math. Math. Sci.
Michiro Kondo
2002 — conf
On the Structures of Weak Interlaced Bilattice.
ISMVL
Michiro Kondo
1995 J jnl
Approximation Logic and Strong Bunge Algebra.
Notre Dame J. Formal Log.
Michiro Kondo
1995 J jnl
Classification of Weak DeMorgan Algebras.
Notre Dame J. Formal Log.
Michiro Kondo
1989 J jnl
A1 is not a conservative extension of S4 but of S5.
J. Philos. Log.
Michiro Kondo